任何人都可以告诉我标准ML定义中的背景理论是什么,发现非常有趣和美丽,我确实学到了一些sml,但我想要更多而不知道如何开始(理解TDSML)< / p>
提前3x
答案 0 :(得分:4)
对于旧版本的定义(SML'90),实际上有一本名为“标准ML的评论”的书,它解释了如何解释定义。 SML'90定义和评论都已绝版,但幸运的是,free PDFs可以使用。
SML'90定义与SML'97有一些差异,特别是关于模块系统。总的来说,它更复杂。但是大部分的评论仍然适用,如果你有两个版本并排,那么要弄清楚什么仍然相关并不难。
答案 1 :(得分:3)
这不是我的头脑:为了理解标准ML的定义中使用的方法,你应该对:
有一些基本的了解。此外,您应该能够阅读并理解本书广泛使用的inference rules。