Thanks for your reply Richard, I will look into using CInterface. That makes me think that another approach could be to use an imperative language for the GUI and link in the ML functions! That way existing GUI builders could be used. I will experiment. I scannned through your work on wrapping SDL and find it interesting. Since I am new to ML could you supply a short demo of how one would integrate those into a complete example? (I think SDL is supplied with TinyCore, so I will test it there). I noticed when loading the Motif library in PolyML (the use command), that the screen would display each function as it is loaded. Do you know if there is a way to create a standalone app that does not bombard the user with that kind of loading info? e.g. When you start up your SDL game, does it scroll through screens of info before game starts? -Dave
On Tue, Dec 9, 2014 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:
- Poly/ML (David Topham)
- Re: Poly/ML (Richard Molitor)
Message: 1 Date: Mon, 8 Dec 2014 18:03:27 +0000 (UTC) From: David Topham <dtopham at gmail.com> To: polyml at inf.ed.ac.uk Subject: [polyml] Poly/ML Message-ID: <loom.20141208T185725-199 at post.gmane.org> Content-Type: text/plain; charset=us-ascii
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!
Message: 2 Date: Tue, 9 Dec 2014 00:02:24 +0100 (CET) From: Richard Molitor <gattschardo at googlemail.com> To: polyml at inf.ed.ac.uk Subject: Re: [polyml] Poly/ML Message-ID: <alpine.LNX.2.03.1412090000160.5655 at localdomain.local> Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed
Hello David,
On Mon, 8 Dec 2014, David Topham wrote:
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).
[...] Is there a better way to mix GUI with PolyML?
I myself picked up PolyML recently and I'm liking the small distribution. Unfortunately that means it doesn't comes with "batteries included", as they say.
Any suggestions would be appreciated!
What I found is that wrapping C libraries using the interface documented at http://polyml.org/docs/CInterface.html is rather simple - provided you know C, but from reading your mail that seems to be no issue.
I didn't want a GUI library, but I wrapped parts of SDL2 for some simple game development, see https://github.com/gattschardo/hashira/blob/master/sdl.sml it's not a complete wrapper, just what I felt I needed myself. Also I have a somewhat more complete wrapping for libjson at: https://github.com/fkmsoft/fridge/blob/master/ml/json.ML
So you might want to try just wrapping relevant parts of e.g. Gtk yourself and see how far you can get (don't know how wrapping C++ for getting Qt would work)
Cheers Richard
PS: if anybody is interested in using my WIP wrappers, I'd be happy to polish them a little and put them in proper repositories.
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 3
-- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.