了解标准ml定义的先决条件知识

时间:2012-09-06 09:05:51

标签: standards definition sml

任何人都可以告诉我标准ML定义中的背景理论是什么,发现非常有趣和美丽,我确实学到了一些sml,但我想要更多而不知道如何开始(理解TDSML)< / p>

提前3x

2 个答案:

答案 0 :(得分:4)

对于旧版本的定义(SML'90),实际上有一本名为“标准ML的评论”的书,它解释了如何解释定义。 SML'90定义和评论都已绝版,但幸运的是,free PDFs可以使用。

SML'90定义与SML'97有一些差异,特别是关于模块系统。总的来说,它更复杂。但是大部分的评论仍然适用,如果你有两个版本并排,那么要弄清楚什么仍然相关并不难。

答案 1 :(得分:3)

这不是我的头脑:为了理解标准ML的定义中使用的方法,你应该对:

有一些基本的了解。

此外,您应该能够阅读并理解本书广泛使用的inference rules