Re: [polyml] Poly/ML and UI toolkits [Was: Poly/ML]

2014-12-15 Thread Phil Clayton
12/12/14 18:15, Ian Zimmerman wrote: On Fri, 12 Dec 2014 14:17:27 +0100 (CET), Makarius makar...@sketis.net wrote: Makarius Back to the original question: a public version of the Makarius aforementioned GTK C bindings for Poly/ML would be great. Agreed, so could someone ping Phil Clayton about

Re: [polyml] Poly/ML and UI toolkits [Was: Poly/ML]

2014-12-15 Thread Ian Zimmerman
On Fri, 12 Dec 2014 06:25:06 -0800, Lucas Dixon lucas.di...@gmail.com wrote: Lucas I had a student project writing a SCRIPT tag interpreter for Lucas PolyML as a firefox add-on: Lucas https://addons.mozilla.org/en-US/firefox/addon/polychrome/ Lucas (PolyChrome) I tried to add the polychrome

Re: [polyml] Poly/ML and UI toolkits [Was: Poly/ML]

2014-12-12 Thread Buday Gergely
Ian Zimmermann wrote: Personally I start to feel that UI tookits of this kind may be a dead end, and Web interfaces may be the only solution. If only that didn't require learning Javascript :-( How about using smltojs? http://www.smlserver.org/smltojs/ - Gergely

Re: [polyml] Poly/ML and UI toolkits [Was: Poly/ML]

2014-12-12 Thread Lucas Dixon
I had a student project writing a SCRIPT tag interpreter for PolyML as a firefox add-on: https://addons.mozilla.org/en-US/firefox/addon/polychrome/ (PolyChrome) This let you do some HTML-based UI. I actually think that HTML5, especially Polymer, provides a pretty good way to write cross-platform

Re: [polyml] Poly/ML and UI toolkits [Was: Poly/ML]

2014-12-12 Thread Ian Zimmerman
On Fri, 12 Dec 2014 14:17:27 +0100 (CET), Makarius makar...@sketis.net wrote: Makarius Back to the original question: a public version of the Makarius aforementioned GTK C bindings for Poly/ML would be great. Agreed, so could someone ping Phil Clayton about it? I am too shy (having been given

[polyml] Poly/ML and UI toolkits [Was: Poly/ML]

2014-12-11 Thread Ian Zimmerman
On Tue, 9 Dec 2014 00:02:24 +0100 (CET), Richard Molitor gattscha...@googlemail.com wrote: Richard So you might want to try just wrapping relevant parts of Richard e.g. Gtk yourself and see how far you can get (don't know how Richard wrapping C++ for getting Qt would work) There was a project