SML’97转换指南

警告!本文件正在编制中。

介绍

本文档的主要目标是帮助当前的SML程序员学习使用SML’97(在SML/NJ 110中实现),并帮助他们将旧SML代码转换为SML'97。它专注于语言和库,并假设您对SML有一定的了解。然而,它也应该对新的SML程序员有一些用处对其中一个可用的教科书教程

新的SML’97语言本身定义于 标准ML的定义(修订版),此后称为“定义”。附录G,共那本书简要总结了语言的变化,主要来自语言语义学的观点。这里的治疗扩大了从程序员的角度来看。注释保尔森和厄尔曼的第二版书描述了SML'97.

其他主要变化包含在广泛的新基础中替换中描述的最小初始基的库原SML’90附录C和D 定义


1.语言变更

本节更详细地探讨了这些变化总结在新的附录G中 定义

2.图书馆与环境变化


戴夫·麦奎因
上次修改时间:1999年2月8日星期一14:31:07 EST