第二版ML程序设计教程及配套答案。

简介：
ML程序设计教程，原书第二版，由柯伟先生翻译。其中尤为重要的部分是，压缩包内包含了官方答案，能够有效地帮助读者解决在阅读书籍后遇到的无法解答的编程题目。这无疑是一份值得称赞的良心资源，仅需1积分即可获得！本书内容丰富，涵盖了排序、矩阵运算以及多项式运算等诸多领域，并提供了大量的实例。具体而言，书中收录了一个通用的自顶向下语法分析器、一个l-演算归约程序以及一个定理证明机等大型示例。此外，本书还深入探讨了数组、队列和优先队列等高效的函数式实现方法，并有一章专门阐述了函数式程序设计的形式论证。该书详细阐述了使用ML语言进行程序设计的流程和方法，同时系统地介绍了函数式程序设计的基本理论与原理。特别值得一提的是，本书还重点介绍了为ML的修订版所设计的新标准库的主要特性及其应用，并提供了大量的实例案例来支持这些概念的理解，涵盖了排序、矩阵运算、多项式运算等多个方面。书中还包含了一个通用的自顶向下语法分析器、一个l-演算归约程序和一个定理证明机等大型示例。