Poly/ML

polyml@lists.polyml.org

2 participants
711 discussions

linking polyML modules to C
by dtopham＠gmail.com 21 Jan '15

21 Jan '15

Thanks David for your response. While searching I found this comment you made earlier: "The foreign-function interface allows for call-back functions so there is the mechanism to produce a C function that when called calls an ML function." in http://stackoverflow.com/questions/17580386/shared-libraries-in-poly-ml Doesn't this indicate a mechanism that allows an SML function to be called from C? I accept your answer though, and wonder then if continuing exploration of toolkit wrappers such as the Motif interface is the best bet for adding a GUI to ML? I wonder how projects such as Isabelle and ProofPower integrate a GUI? If anyone has suggestions I would appreciate it. My goal is not an elaborate interface--just simple I/O with labels, images, buttons, and text input to explore functional approaches. -Dave On Fri, Jan 16, 2015 at 4:00 AM, <polyml-request at inf.ed.ac.uk> wrote: > Send polyml mailing list submissions to > polyml at inf.ed.ac.uk > > To subscribe or unsubscribe via the World Wide Web, visit > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > or, via email, send a message with subject or body 'help' to > polyml-request at inf.ed.ac.uk > > You can reach the person managing the list at > polyml-owner at inf.ed.ac.uk > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of polyml digest..." > > > Today's Topics: > > 1. linking polyML modules to C (David Topham) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Thu, 15 Jan 2015 15:54:01 -0800 > From: David Topham <dtopham at gmail.com> > To: polyml at inf.ed.ac.uk > Subject: [polyml] linking polyML modules to C > Message-ID: > < > CAD034BGnBz3tXwiVUAHVsoyvcBVg1K125jwcz4J86optWyA6pw at mail.gmail.com> > Content-Type: text/plain; charset="utf-8" > > 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. > >> > >> >

4 3

PolyML (or just SML) sample code?
by dtopham＠gmail.com 15 Jan '15

15 Jan '15

As part of my SML education, I want to look at sample code...I do have several good books already and that certainly helps, but what about some specific coding ideas people have explored? I noticed there is a website: http://rosettacode.org/wiki/Category:Standard_ML_Implementations that does good comparisons between languages of certain tasks, but don't see PolyML there. Are there other central places where people upload/share SML code? -Dave

2 1

Problem with Real.toLargeInt
by doug＠dougtelford.com 11 Jan '15

11 Jan '15

Hello, I am using Poly/ML 5.5.2 Release ? ?RTS version: X86_64-5.5.1 on Ubuntu 14.04 The following program (test2.sml) demonstrates a problem with Real.toLargeInt fun test1 (r:real) =?? Real.toLargeInt IEEEReal.TO_NEAREST r; fun test2 (r:real) =?? Real.toLargeInt IEEEReal.TO_ZERO r; print "test1: arg = 2.23E34 \n";print ((IntInf.toString (test1 2.23E34)) ^ "\n");print "test1:arg = 2.23E35 \n";print ((IntInf.toString (test1 2.23E35)) ^ "\n"); print "test2: arg = 2.23E34 \n";print ((IntInf.toString (test2 2.23E34)) ^ "\n");print "test2:arg = 2.23E35 \n";print ((IntInf.toString (test2 2.23E35)) ^ "\n"); The output on poly/ml is? > use "test2.sml";val test1 = fn: real -> intval test2 = fn: real -> inttest1: arg = 2.23E34?val it = (): unit22300000000000000356845941540807755val it = (): unittest1:arg = 2.23E35?val it = (): unitException- Size raisedException- Size raised Running the same program on mlton: doug at doug-MS-7642:~/poly$ mlton test2.smldoug at doug-MS-7642:~/poly$ ./test2test1: arg = 2.23E34?22300000000000001034524584994406400test1:arg = 2.23E35?222999999999999991898501776234512384test2: arg = 2.23E34?22300000000000001034524584994406400test2:arg = 2.23E35?222999999999999991898501776234512384 The test2.sml program is attached. I enjoy using poly/ml. Regards,Doug

2 1

[Fwd: Re: [polyml] Building Poly/ML on MacOS X 10.6]
by rda＠lemma-one.com 29 Dec '14

29 Dec '14

I wrote: > I am completely baffled. I thought I hada solved all my problems on > MacOS X > 10.6 and was just tidying up, when I had to recompile a 32 bit > version of > Poly/ML to test a tidied up make file. This failed because > PolyML.Compiler.printTypesWithStructureName no longer exists. The same > problem happened when i rebuild a 64 bit version. What has happened? but it was a false alarm: my make file was wrong for other reasons and the absence of PolyML.Compiler.printTypesWithStructureName was not relevant. No doubt there are good reasons why this variable has been withdrawn. Regards, Rob.

3 6

ProofPower as an SML environment and IDE
by dtopham＠gmail.com 26 Dec '14

26 Dec '14

Omar, I recently installed ProofPower <http://www.lemma-one.com/ProofPower/index/index.html>and discovered that it has capabilities as an efficient and effective PolyML IDE too! It also uses a simplified variation of Knuth's "literate programming" idea where you can intersperse mathematics with the correct symbols (rather than ASCII code approximations). In an earlier post, I had mistakenly claimed that ProofPower required an earilier version of PolyML (v 4), but Rob Arthan helped me through the very minor update to a makefile to get it to build easily using the latest PolyML version, so that is not a problem. I have attached a small sample to show how the integration works with math using a few macros in the source code. The source (in the doc file) was entered using the xpp "IDE" which allows you to run the SML code right in the editor. -Dave Topham > 2. Re: [isabelle] Isabelle as an SML environment and IDE > (Omar Montano Rivas) > > ------------------------------ > Date: Mon, 22 Dec 2014 11:50:28 -0600 > From: Omar Montano Rivas <omarmrivas at gmail.com> > To: Aleks Kissinger <aleks0 at gmail.com> > Cc: isabelle-users at cl.cam.ac.uk, Poly/ML Mailing List > <polyml at inf.ed.ac.uk> > Subject: Re: [isabelle] Isabelle as an SML environment and IDE > > Really useful. Thanks for sharing. > > Best, > Omar. > > 2014-12-19 10:49 GMT-06:00 Aleks Kissinger <aleks0 at gmail.com>: > > > It recently came up on the Poly/ML mailing list that Isabelle/jEdit > > makes a pretty efficient SML IDE these days. I manage a fairly large > > SML project called Quantomatic, so I thought I'd have a go at getting > > a setup to work. I've got a setup now that I am pretty happy with, so > > I thought I'd share my results. Hopefully other people will find this > > helpful. > > > > Quantomatic is fairly unique in that it is designed to run inside of > > Isabelle or as a standalone project. As a result, the whole codebase > > is implemented on top of an Isabelle/ML-like environment, obtained by > > importing chunks of the ML code in Pure. This can be done by copying > > src/Pure from Isabelle 2014 into an SML project and using this file: > > > > > > > https://github.com/Quantomatic/quantomatic/blob/integration/core/isabelle_e… > > > > In the past, we used a slightly hacked-up version of Pure, but for the > > sake of maintainability, we now use an exact copy. > > > > The project itself is loaded with special "thy" files that only > > contain comments and "ML_file" commands. These can be run from inside > > Isabelle/jEdit (in the "real" Isabelle/ML environment), or they can be > > imported in poly/ML with the function "use_thy": > > > > > https://github.com/Quantomatic/quantomatic/blob/integration/core/use_thy.ML > > > > This implements a baby version of the outer syntax parser, which > > ignores imports and translates the ML_file commands into use > > statements. This makes the external ROOT.ML tiny and easy to maintain: > > > > https://github.com/Quantomatic/quantomatic/blob/integration/core/ROOT.ML > > > > This can be executed with, e.g. "poly --use ROOT.ML" > > > > >

1 0

GUI Interface: drawing using Xlib primitives
by dtopham＠gmail.com 23 Dec '14

23 Dec '14

I know that there isn't a whole lot of interest in reviving the PolyML/Motif bindings idea, but it does have the advantage (over GTK+ or QT for example) of already existing! (a bird in the hand is worth two in the bush)... ...so, as part of my learning experience in PolyML, I set out to get a program working to draw on the screen. I saw comments in the XReference manual claiming that there are examples available, but searching google and the docs came up with nothing beyond the API so I had to reinvent the wheel. Since I am new at SML, I would appreciate any comments or suggestions on improving this approach to drawing. Here is what I have so far (and it works!) ------------------------------------------------------- open XWindows ; open Motif; fun square x = x * x ; fun odd x = x mod 2 = 1 ; fun power base exp = if exp = 0 then 1 else if odd exp then base * power base (exp-1) else square (power base (exp div 2)) ; fun draw1 w gc x1 y1 = let val p = XPoint {x=x1,y=y1} in XDrawPoint w gc p ; if x1 < 200 then draw1 w gc (x1 + 1) (y1 + 1) else XDrawPoint w gc p end; fun draw2 w gc x1 y1 = let val p1 = XPoint {x=x1,y=y1} ; val p2 = XPoint {x=x1+100,y=y1} in XDrawLine w gc p1 p2 ; if x1 < 100 then draw2 w gc (x1 + 1) (power x1 2) else let val p = XPoint {x=50,y=95} in XDrawString w gc p "PolyML" end end; fun main() = let val pt = XPoint {x=0,y=0} ; val rt = XRectangle {bottom=0,left=0,right=200,top=200} ; val ar = Area {x=0,y=0,w=200,h=200} ; val shell = XtAppInitialise "" "xlib" "xlib" [] [] ; val display = XtDisplay shell ; val dr = RootWindow display ; val bp = BlackPixel display ; val wp = WhitePixel display ; val w = XCreateSimpleWindow dr pt ar 5 bp wp ; val gc = XCreateGC w [] ; fun hdraw (Expose {sendEvent,region,window,count},s) = draw2 w gc 0 0 | hdraw (DeleteRequest {window},s) = XDestroyWindow window ; in XMapWindow w ; XSelectInput w [ExposureMask,ButtonPressMask] ; XSetHandler w hdraw () ; XFlush display (* Posix.Process.pause() *) end; ---------------------------------------------------- The Posix pause is needed if compiling with polyc to keep window open, but in poly interactive it is not. The attached image is what is produced. -Dave Topham

1 0

Isabelle as an SML environment and IDE
by aleks0＠gmail.com 22 Dec '14

22 Dec '14

It recently came up on the Poly/ML mailing list that Isabelle/jEdit makes a pretty efficient SML IDE these days. I manage a fairly large SML project called Quantomatic, so I thought I'd have a go at getting a setup to work. I've got a setup now that I am pretty happy with, so I thought I'd share my results. Hopefully other people will find this helpful. Quantomatic is fairly unique in that it is designed to run inside of Isabelle or as a standalone project. As a result, the whole codebase is implemented on top of an Isabelle/ML-like environment, obtained by importing chunks of the ML code in Pure. This can be done by copying src/Pure from Isabelle 2014 into an SML project and using this file: https://github.com/Quantomatic/quantomatic/blob/integration/core/isabelle_e… In the past, we used a slightly hacked-up version of Pure, but for the sake of maintainability, we now use an exact copy. The project itself is loaded with special "thy" files that only contain comments and "ML_file" commands. These can be run from inside Isabelle/jEdit (in the "real" Isabelle/ML environment), or they can be imported in poly/ML with the function "use_thy": https://github.com/Quantomatic/quantomatic/blob/integration/core/use_thy.ML This implements a baby version of the outer syntax parser, which ignores imports and translates the ML_file commands into use statements. This makes the external ROOT.ML tiny and easy to maintain: https://github.com/Quantomatic/quantomatic/blob/integration/core/ROOT.ML This can be executed with, e.g. "poly --use ROOT.ML"

2 1

Posix / BinIO bug (?)
by peteg42＠gmail.com 22 Dec '14

22 Dec '14

I apologise if ?bug? is not proper nomenclature in this forum. Consider the following program, stored as ?binio.sml? in the current directory: structure FS = Posix.FileSys structure IO = Posix.IO fun main () = let val fname = "binio.sml" val fd = FS.openf (fname, FS.O_RDONLY, (FS.O.flags [])) val rd = IO.mkBinReader {fd=fd, initBlkMode=false, name=fname} val stream = BinIO.mkInstream (BinIO.StreamIO.mkInstream (rd, Word8Vector.fromList [])) in print (Byte.bytesToString (BinIO.inputAll stream)) end ; main() On OS X 10.9.5 I get: $ poly --use binio.sml Poly/ML 5.5.2 Release structure FS : POSIX_FILE_SYS structure IO : POSIX_IO val main = fn: unit -> unit Assertion failed: (save_vec_addr < save_vec+1000), function push, file save_vec.cpp, line 70. Abort trap: 6 BTW is there a simpler/more canonical way to take a Posix.FileSys.file_desc into a BinIO.instream? I copied the above pretty much verbatim from the Poly/ML sources. thanks, peter

2 1

ML_dbase
by dtopham＠gmail.com 20 Dec '14

20 Dec '14

I noticed several references to ML_dbase in the documentation (obviously I am a new user!), but do not see that file anywhere after my (virgin) PolyML version 5 installation. Is this file needed? Is it created automatically? What is it for? -Dave >

2 1

Poly/ML
by dtopham＠gmail.com 16 Dec '14

16 Dec '14

I just discovered PolyML while looking for a distribution of Standard ML that I could compile from source on TinyCore Linux. It worked perfectly (unike SMLNJ e.g.). I am interested in connecting GUI to ML as well as functions written in C/C++ and all that seems like it would work (form reading the documentation). My question is this: The doc for using PolyML Motif is 14 years old and one posting from David Matthews in this forum mentioned that Motif is no longer maintained, so I wonder if that was a project that is no longer worth learning. Is there a better way to mix GUI with PolyML? (I have been using FLTK with C++ with very good success so far, but want to add in the ability to mix in functional (SML) programming. Any suggestions would be appreciated!

8 9

← Newer
1
...
24
25
26
27
28
29
30
...
72
Older →

Jump to page:

2026

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