我开始学习标准ML,现在我尝试使用新泽西州编译器的标准ML。 现在我可以使用交互式循环,但我怎样才能将源文件编译为独立的可执行文件? 例如,在C中,可以只写 $ gcc hello_world.c -o helloworld 然后运行helloworld二进制。 我阅读SML NJ编译pipe理器的文档,但没有任何明确的例子。 另外,还有另一个SML编译器(允许独立的二进制创build)可用吗?