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...
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