Poly/ML September 2016

polyml@lists.polyml.org

10 participants
6 discussions

linking polyML modules to C
by dtopham＠gmail.com 09 Nov '18

09 Nov '18

After more experimenting with GUI in SML, I would like to now try calling an SML module from a C program. That way, the GUI could be built using traditional imperative techniques and the program logic could be written in SML. I see how to call a C function from SML, but and not so clear on how to call an SML function from a C program. I want to build code using polyc and then link with a C main program, but could anyone show me a simple example of calling that function and getting its return value? for example, I have defined: fun sum i n f = if i > n then 0.0 else f i + sum (i+1) n f ; fun int2real x = real x ; in linkToC.sml and #include <iostream> #include <fstream> std::ofstream ofs; int main() { std::cout << sum(1,10,int2real) << std::endl; ofs.open("table.dat"); for(int i = 0; i < 20; i++) ofs << i << '\t' << sum(1,i,int2real) << std::endl; } in linkToC.cpp Looking in the polyc script, I thought adding the -c option might allow me to build the object code which I could then link to the sml functions, but it complains about not having a main. Could someone point me in the right direction? Thanks, Dave On Mon, Dec 15, 2014 at 11:44 AM, David Topham <dtopham at gmail.com> wrote: > David, Thank you so much! I really appreciate your help with this. Your > sample below builds fine with polyc on my system (PolyML 5.5.2). I am using > a minimal Linux distribution named TinyCore ( > http://distro.ibiblio.org/tinycorelinux/) which comes with OpenMotif > 2.3.3 It runs in a virtual machine within another computer only taking up > a few hundred MBs! > > I am going to use it to help my students explore Discrete Math next > semester (this textbook uses SML for that purpose: > http://cs.wheaton.edu/~tvandrun/dmfp/). > > I also found a reasonably current project using PolyML and Motif here: > http://www.lemma-one.com/ProofPower/index/ > > ...however it was built on PolyML 4 and has not yet been ported to the > newer version (e.g. depends on PolyML.commit which no longer seems to be > supported). > > Happy Holidays to everyone in the PolyML community! > > -David Topham > > >> Re: GUI Interface (David Matthews) >> >> I've experimented with building a stand-alone executable with Motif and >> succeeded in getting it to work for me using polyc. (It required >> building Poly/ML with --with-x). I took the example from >> http://www.polyml.org/docs/Motif.html and wrapped it up in a function. >> I did find a problem, though. It looks as though the function has to >> suspend itself with something like Posix.Process.pause otherwise nothing >> happens. I seem to recall that the Motif stuff is handled on a separate >> thread to allow the REPL to continue to accept commands. With a >> stand-alone application there isn't a REPL so without the "pause" it >> terminates immediately. >> >> David >> >> open XWindows ; >> open Motif ; >> >> fun main() = >> let >> val shell = >> XtAppInitialise "" "xed" "Editor" [] [XmNwidth 400, XmNheight 400] ; >> >> val main = XmCreateMainWindow shell "main" [] ; >> >> val bar = XmCreateMenuBar main "bar" [] ; >> >> val fileMenu = XmCreateCascadeButton bar "file" [XmNlabelString "File"] ; >> val editMenu = XmCreateCascadeButton bar "edit" [XmNlabelString "Edit"] ; >> val viewMenu = XmCreateCascadeButton bar "view" [XmNlabelString "View"] ; >> val helpMenu = XmCreateCascadeButton bar "help" [XmNlabelString "Help"] ; >> >> val command = XmCreateText main "command" [XmNeditMode >> XmSINGLE_LINE_EDIT] ; >> >> val hscroll = XmCreateScrollBar main "hscroll" [XmNorientation >> XmHORIZONTAL] ; >> val vscroll = XmCreateScrollBar main "vscroll" [XmNorientation >> XmVERTICAL] ; >> >> val work = XmCreateDrawingArea main "work" [] ; >> in >> >> XtManageChildren [fileMenu, editMenu, viewMenu, helpMenu] ; >> XtManageChildren [bar, command, hscroll, vscroll, work] ; >> >> XmMainWindowSetAreas main bar command hscroll vscroll work ; >> >> XtManageChild main ; >> XtRealizeWidget shell; >> Posix.Process.pause() >> end; >> >> >> ------------------------------ >> >> _______________________________________________ >> polyml mailing list >> polyml at inf.ed.ac.uk >> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >> >> End of polyml Digest, Vol 110, Issue 12 >> *************************************** >> >> -- >> The University of Edinburgh is a charitable body, registered in >> Scotland, with registration number SC005336. >> >>

2 3

Update to code-generator and run-time system interface
by David.Matthews＠prolingua.co.uk 23 Oct '16

23 Oct '16

I have now pushed a major update to git master which is the result of work going back to the beginning of the year. It covers a number of areas but largely the code-generator and the run-time system interface. The basic design of much of the low-level parts of Poly/ML dated back to the early days. While it has changed a lot in detail the overall structure has remained the same. The idea was to bring the whole thing up to date. The run-time system interface has been redesigned and instead of a vector of entries to the run-time system the ML code now uses a form of foreign-function interface to call individual functions. The advantage is that it is much easier to add new functions. In addition when building an executable it is possible for the linker to select only the parts of libpolyml that are actually required for the application, at least if the static library version is used. It should be possible to adapt the foreign-function interface it uses to speed up calls made using the Foreign structure, although that's not done at the moment. The code-generator has been rewritten particularly the register assignment. The previous version had been the result of a series of adaptations to new architectures over the years. The new version focusses solely on the X86. I'm still working on this. Doing this has needed a temporary, slow, code-generator which is why it has taken until now to push this to git master. The representation of strings has been simplified. Previously, single character strings were represented by the character itself as a tagged value. This was largely a relic of SML 90 which didn't have a separate char type. That has been removed and all strings are now represented as a vector of bytes. This speeds up string operations since the code no longer has to consider the special case. SSE2 instructions are now used for floating point on the X86/64. Floating point support in the new code-generator is rudimentary at the moment and not to the same extent as the previous code-generator. The handling of return addresses from functions has been simplified. A consequence of this is that when pieces of code are compiled they are stored in a separate area of memory rather than in the general heap and not garbage-collected. It is no longer possible to get an exception trace so PolyML.exception_trace has no effect. The debugger handles this much better anyway. Although the focus has been on the X86 the portable byte-code interpreter has been improved and is significantly faster. The system has had some basic testing but there are bound to be bugs in something as complex as this. I'm also continuing to work on improvements. When testing this it is essential to run "make compiler" at least once and generally twice to build the new compiler and then build the compiler itself with the new compiler. David

4 32

curl for Poly/ML and MLton
by kostirya＠gmail.com 30 Sep '16

30 Sep '16

Hello Let me introduce you the libcurl for Standard ML and http client with asynchronous support (via sml-ev) https://github.com/kni/sml-curl I hope someone will find it helpful. Nick. P.S. Output of asynchronous example: > ./t-ev-poly libcurl/7.46.0 OpenSSL/1.0.1p zlib/1.2.8 Request: https://www.google.com/ Request: http://sml-family.org/ Request: http://www.polyml.org/ Request: http://www.mlton.org/ Request: http://melsman.github.io/mlkit Answer: 200 (OK) http://www.polyml.org/ Request: http://www.smlserver.org Answer: 200 (OK) http://www.mlton.org/ Request: http://www.mpi-sws.org/~rossberg/hamlet/ Answer: 200 (OK) http://sml-family.org/ Request: http://www.smlnj.org/ Answer: 200 (OK) http://www.elsman.com/mlkit/ Request: http://www.pllab.riec.tohoku.ac.jp/smlsharp/ Answer: 200 (OK) https://www.google.com.ua/?gfe_rd=cr&ei= jCDuV47qFqfA7gSTsbhg Request: http://manticore.cs.uchicago.edu/ Answer: 200 (OK) http://www.mpi-sws.org/~rossberg/hamlet/ Answer: 200 (OK) http://www.smlserver.org/ Answer: 200 (OK) http://www.smlnj.org/ Answer: 200 (OK) http://manticore.cs.uchicago.edu/ Answer: 200 () http://www.pllab.riec.tohoku.ac.jp/smlsharp/

1 0

New kqueue and epoll library for MLton and Poly/ML.
by kostirya＠gmail.com 22 Sep '16

22 Sep '16

Hello. Let me introduce you the kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML). https://github.com/kni/sml-ev I hope someone will find it helpful. Nick.

1 0

wrapping socket with tls
by philneaton95＠gmail.com 21 Sep '16

21 Sep '16

Hello! I've come to in impasse with Ponyo trying to access common REST APIs. I've gotten this far ignoring SSL but it's time to start attacking that. Has anyone done any work on SSL/TLS in Standard ML? I could not find anything on SML/NJ and MLton email archives (and couldn't find a reasonable way to search Poly/ML's). It seems like the Socket module makes the underlying socket int pointer completely opaque. Since that pointer is what you'd need to make the tls call to wrap it in a tls context, it seems like it won't be possible to use the Socket module. I hope I am mistaken because otherwise the necessary step will be to reimplement the Socket module functionality in Ponyo. Any thoughts or suggestions on moving forward? -- Phil Eaton

2 3

Equality Type Parameter in Datatype Declaration
by tjark.weber＠it.uu.se 17 Sep '16

17 Sep '16

Hi, Is the following behavior (of Poly/ML 5.6) intended? > datatype ''a t = C of ''a; datatype 'a t = C of ''b Moreover, Poly/ML rejects a following > C 1.0; while SML/NJ accepts it. Best, Tjark

5 10

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML September 2016