Warning: file_get_contents(/data/phpspider/zhask/data//catemap/9/extjs/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
如何使用SML/NJ运行独立脚本?_Sml_Smlnj - Fatal编程技术网

如何使用SML/NJ运行独立脚本?

如何使用SML/NJ运行独立脚本?,sml,smlnj,Sml,Smlnj,如何使用SML/NJ运行一个脚本,该脚本从STDIN读取并写入STDOUT say?有没有办法摆脱解释器本身的输出?很清楚,SML/NJ并不是严格意义上的解释器。它是一个编译器,恰好有一个REPL。实现建议的最佳方法是创建一个堆映像(基本上是一个已编译的二进制文件,可以由SML/NJ运行时系统加载),然后使用SML@SMLload=heapfile.img直接运行它,其中heapfile.img是生成的堆文件的名称。您可能还希望将@SMLquiet作为命令行选项传递。这将在加载堆文件时超过任何输

如何使用SML/NJ运行一个脚本,该脚本从STDIN读取并写入STDOUT say?有没有办法摆脱解释器本身的输出?

很清楚,SML/NJ并不是严格意义上的解释器。它是一个编译器,恰好有一个REPL。实现建议的最佳方法是创建一个堆映像(基本上是一个已编译的二进制文件,可以由SML/NJ运行时系统加载),然后使用
SML@SMLload=heapfile.img
直接运行它,其中
heapfile.img
是生成的堆文件的名称。您可能还希望将
@SMLquiet
作为命令行选项传递。这将在加载堆文件时超过任何输出

您也可能只是试图将程序编译成可以独立运行的程序,在这种情况下,您可能希望查看编译器