相关疑难解决方法(0)

我开始学习标准ML,现在我尝试使用新泽西标准ML编译器.

现在我可以使用交互式循环,但是如何将源文件编译为独立的可执行文件？

例如,在C中,人们可以写

$ gcc hello_world.c -o helloworld

然后运行helloworld二进制文件.

我阅读了SML NJ编译管理器的文档,但它没有任何明确的例子.

另外,是否有另一个SML编译器(允许独立二进制创建)可用？