我有一个包含许多文件的项目，我希望它能与大多数热门编译器一起使用。
不幸的是，PolyML和SML / NJ需要use语句，而MosML还需要使用load显式加载基础库结构，而poly或sml无法识别它。
最重要的是，MLton和MLKit需要一个完全不同的.mlb文件，只需列出文件名，并且还需要显式导入基础库，这是以与MosML不同的方式完成的：
$(SML_LIB)/basis/basis.mlb
是否有一些标准的通用＆＃34;包含此文件＆＃34;命令，如果它不存在，还有其他方法让所有编译器从一个入口点文件中读取吗？
P.S。不会介意有人对编译器的差异进行小吵闹。我总是对人们的想法感兴趣，并且没有太多可用的信息： - ）
答案 0 :(得分：5)
use函数是标准的通用“include this file”命令， 包含在Top-level environment
中val use : string -> unit implementation dependent
我通常在smlnj的CM中维护构建环境， 然后使用cm2mlb转换为mlb。它将定义一个标志MLton 解析sources.cm文件时，可以使用它来解决模块加载行为的差异。
#if(defined(MLton))
runmain.sml
#endif
还有一组sml-buildscripts转换自。{ mlb到polyml。我不熟悉它们，也不熟悉polyml CM作为权威来源很方便，因为它通过结构CM从SML提供编程访问。
这就是cm2mlb使用的内容，所以虽然我不知道已经存在从CM转换为polyml的任何东西，但它应该是可能的。