On Fri, 12 Dec 2014 14:17:27 +0100 (CET),
Makarius 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 access to an early
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
There is an interesting thing here which I'd like make sure is said
explicitly: if you're interested in writing ML (not SML'97 as Makarius
points out), then writing your program on top of Isabelle is something you
should seriously consider. You get a better build system, an IDE, and tons
of very he
On Fri, 12 Dec 2014, m...@beroal.in.ua wrote:
IMHO, Web GUI is a fad. HTML was not intended for GUI, and this
poor creature continues to be, not quite fit for what it is used, a pile of
amendments without much thought. It surely has its advantages, network
capability and no installation, but t
On Thu, 11 Dec 2014, Peter Gammie wrote:
On 11 Dec 2014, at 4:14, Makarius wrote:
I don’t "hack" on Isabelle/Pure, but edit it carefully and
thoughtfully, using plain jEdit with its static ML mode.
Sounds like I might as well use emacs rather than “plain jEdit with its
static ML mode” for
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
___
IMHO, Web GUI is a fad. HTML was not intended for GUI, and
this poor creature continues to be, not quite fit for what it is used, a
pile of amendments without much thought. It surely has its advantages,
network capability and no installation, but the main one is popularity
or hype.
On 12.12.1