文件名称：ML程序设计教程（英文版）和 课后答案
文件大小：2.86MB
文件格式：ZIP
更新时间：2021-08-28 11:26:51
ML語言 函數式編程
本书是关于ML程序设计的经典教材，详细介绍如何使用 ML语言进行程序设计，并讲解函数式程序设计的基本原理。 书中含有大量例子，涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现，并且有一章专门讨论函数式程序的形式论证。 本书详细讲解如何使用ML语言进行程序设计，并介绍函数式程序设计的基本原理。书中特别讲述了为ML的修订版所设计的新标准库的主要特性，并且给出大量例子，涵盖排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个l-演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优先队列等高效的函数式实现，并且有一章专门讨论函数式程序的形式论证。 本书可作为高等院校计算机专业相关课程的教材，也适合广大程序设计人员参考。
【文件预览】：
ML for the Working Programmer
----chapter8 Imperative programming in ML.pdf(325KB)
----chapter5 Functions and infinite data.pdf(296KB)
----chapter4 Trees and concrete data.pdf(330KB)
----chapter3 Lists.pdf(334KB)
----chapter9 Writing interpreters for the lambda-calculus.pdf(286KB)
----chapter2 Names, functions and types.pdf(317KB)
----contents.pdf(148KB)
----chapter1 Standard ML.pdf(204KB)
----ML程序设计教程课后答案.7z(36KB)
----chapter7 Modules.pdf(332KB)
----chapter6 Reasoning about functional programs.pdf(293KB)
----chapter10. A tactical theorem proverpdf.pdf(301KB)