本文档的主要目标是帮助当前的SML程序员 学习使用SML’97(在SML/NJ 110中实现),并帮助他们 将旧SML代码转换为SML'97。 它专注于 语言和库,并假设您对SML有一定的了解。 然而,它也应该对新的SML程序员有一些用处 对其中一个可用的 教科书 或 教程 。
新的SML’97语言本身定义于 标准ML的定义(修订版) ,此后 称为“定义”。 附录G,共 那本书简要总结了语言的变化,主要来自 语言语义学的观点。 这里的治疗扩大了 从程序员的角度来看。 注释 保尔森和厄尔曼的第二版书描述了SML '97.
其他主要变化包含在广泛的新基础中 替换中描述的最小初始基的库 原SML’90附录C和D 定义 。
本节更详细地探讨了这些变化 总结在新的附录G中 定义 。