2

实际的标准 ML 规范是标准 ML的定义(修订版) ,在 MITPress 上仅提供印刷版。

是否提供电子格式(pdf、ps、ie)?

4

2 回答 2

2

不。

我认为这是一个错误。语言的规范应该是免费的。否则,您会自动限制对它感兴趣的人数。不过公平地说,SML 的定义确实是一项出色的工作——而且比任何其他语言都包含更多内容。规格。可能也花了很多时间来写!

于 2010-12-13T17:55:46.710 回答
0

该定义最近由 MIT Press 提供,源代码在 Github 上,包括如何编译 PDF 的说明。

于 2013-12-10T02:31:20.190 回答