书名：ML程序设计教程 （第二版） 作者：Lawrence C.Paulson 出版：机械工业出版社
▍内容介绍
本书详细讲解如何使用ML语言进行程序设计，并介绍函数式程序设计的基本原理。书中特别讲述了为ML的修订版所设计的新标准库的主要特性，并且给出大量例子，涵盖排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个λ-演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优先队列等高效的函数式实现，并且有一章专门讨论函数式程序的形式论证。
▍作者介绍
Lawrence C.Paulson于1981年在美国斯坦福大学获得计算机科学博士学位，现为英国剑桥大学计算逻辑学教授。Paulson博士从事有关ML语言的教学和工作多年，拥有扎实的背景和丰富的经验，并曾经参与Standard ML的设计。Paulson博士开发和维护了Isabelle自动定理证明系统，他近期正在进行关于自动定理证明和密码协议验证方面的研究。
▍本书特点
内容丰富全面
涵盖多种运算实例：包含大量涵盖排序、矩阵运算、多项式运算等方面的例子，帮助读者理解 ML 语言在不同运算场景下的应用。
大型实例深入讲解：有一般性的自顶向下语法分析器、λ- 演算归约程序和定理证明机等大型例子，引导读者深入掌握复杂程序的设计与实现。
数据结构实现多样：讲述了数组、队列、优先队列等高效的函数式实现，让读者了解不同数据结构在 ML 语言中的应用和特点。
理论知识系统完整：专门有一章讨论函数式程序的形式论证，帮助读者建立函数式程序设计的理论基础和逻辑思维。
注重实践应用：详细讲解如何使用 ML 语言进行程序设计，通过丰富的实例和案例，让读者在实践中掌握 ML 语言的编程技巧和方法，提高实际编程能力。
紧跟标准更新：介绍了为 ML 的修订版所设计的新标准库的主要特性，使读者能够学习到最新的 ML 语言标准和库函数的使用方法，跟上语言发展的步伐。