×

介绍使用Haskell的函数式编程系统。 (英语) Zbl 0760.68003号

剑桥计算机科学教材. 27. 剑桥:大学出版社。十四、 第290页(1992年)。
本书旨在介绍函数编程和函数实现方法。为了描述函数技术,使用了Haskell语言。
介绍性章节提到了应用编程风格对引用透明性、并行性和lambda演算的重要性。第2章描述了函数式编程语言Haskell的基本功能。第三章介绍了应用程序设计中使用的文体技巧、归纳案例分析和课程功能。第4章讨论了用于构建新类型的数据类型和运算符的不同概念。还考虑了抽象类型和模块。第5章使用为应用计算建模的lambda-calculus。这里考虑与Haskell语言相关的替换、转换和约简。第6章演示了SECD机器如何执行应用程序,并研究了其操作语义。第7章介绍函数式语言中的无限数据结构。研究了I/O操作和程序转换技术。第8章介绍了惰性评估和不同机器模型的几种实现方法。第9章是关于数学归纳原理及其在正确性问题中的应用。第10章介绍了用于语言定义、编译器实现和程序改进的转换技术。第11章讨论了并行计算中的函数编程,并概述了并行实现项目。
每一章都以一些有用的练习结束,以提高理解力。本书的三个附录提供了Haskell描述,如操作符、前奏、语法和类结构。

MSC公司:

68-01 与计算机科学相关的介绍性说明(教科书、教程论文等)
68甲15 编程语言理论
68号01 软件理论的一般主题
PDF格式BibTeX公司 XML格式引用