Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
实际的标准 ML 规范是标准 ML的定义(修订版) ,在 MITPress 上仅提供印刷版。
是否提供电子格式(pdf、ps、ie)?
不。
我认为这是一个错误。语言的规范应该是免费的。否则,您会自动限制对它感兴趣的人数。不过公平地说,SML 的定义确实是一项出色的工作——而且比任何其他语言都包含更多内容。规格。可能也花了很多时间来写!
该定义最近由 MIT Press 提供,源代码在 Github 上,包括如何编译 PDF 的说明。