我发现polyml是ML的实现,可以在Ubuntu上很容易地安装(在存储库中命名为polyml并且可以使用poly执行)。我正在遵循Andrew Cumming的A Gentle Introduction to ML。在与polyml解释器进行几分钟的实验后,我发现它不支持readline (...
标准ML支持Unicode吗? 我认为不支持,但找不到任何官方的SML文档来证明这一点。 只需要是或否的回答,但你必须确保回答的准确性。不能猜测或者是我认为的答案。提供权威链接会更好。
我有一个包含许多文件的项目,希望它能与大多数流行的编译器一起使用。 不幸的是,PolyML和SML/NJ需要use命令,而MosML则需要使用load来明确加载基础库结构,这被poly或sml所不认可。 此外,MLton和MLKit需要完全不同的.mlb文件,只列出文件名,并且需要明确导入...
我正在尝试实现一个测试函数,以便比较并显示错误消息(如果它们不相等): exception AssertionErrorException of string fun assert(testName, actual, expect) : bool = if actual = exp...