On Fri, 29 Mar 2013, Gergely Buday wrote:

I want ML scripts to invoke from the command line, without compiling them.

As Phil has already pointed out, you can produce standalone executables from some Poly/ML program that do whatever you want them to do.

For that ML part of the executable you can invoke the Poly/ML compiler at runtime, to compile and run your "script". Doing this yourself, instead of using the default ML toplevel loop, you can control compiler output to a large extent, by options provided in structure PolyML.Compiler.

See also this answer on Stackoverflow how to wrap up the Poly/ML compiler as "eval" function (without special options):

http://stackoverflow.com/questions/9555790/does-sml-poly-have-a-cl-like-repl/15162800#15162800

If you want we can also continue that Q&A game on Stackoverflow, although I have no particular preference for mailing list vs. social network here.


        Makarius
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to