StandardML 97定义

Question

实际标准ML规范为The Definition of Standard ML (Revised) ，MITPress仅在印刷版中提供。

是否可以电子格式（pdf，ps，即）？

Answer 1

没有

我认为这是一个错误。语言的规范应该是免费的。否则，您自动限制对其感兴趣的人数。尽管如此，SML的定义确实是一项很好的工作 - 而且比任何其他语言都更加包容。规格。它可能还需要花费更多的时间来编写！

Answer 2

MIT Press和the source is on Github最近提供了该定义，包括如何编译PDF的说明。