实际的标准 ML 规范是标准 ML的定义（修订版） ，在 MITPress 上仅提供印刷版。
是否提供电子格式（pdf、ps、ie）？
问问题
101 次
2 回答
2
不。
我认为这是一个错误。语言的规范应该是免费的。否则，您会自动限制对它感兴趣的人数。不过公平地说，SML 的定义确实是一项出色的工作——而且比任何其他语言都包含更多内容。规格。可能也花了很多时间来写！
于 2010-12-13T17:55:46.710 回答
0
该定义最近由 MIT Press 提供，源代码在 Github 上，包括如何编译 PDF 的说明。
于 2013-12-10T02:31:20.190 回答