本书用Haskell 语言从函数式程序设计角度讲解计算机程序设计。本书前半部分介绍程序设计的基本内容， 包括数据、类型、函数、递归函数、模块、测试、多态和重载等；后半部分则突出了函数程序设计的特色内容， 包括高阶函数、代数类型、惰性计算和单子等。 全书内容编排由浅入深，语言表达清晰准确，每章都提供了难度适中的练习，各章内容都配备讲解视频， 十分便于自学。 本书是为程序设计初学者编写，可作为高等院校各专业学习程序设计的教材，也可供从事计算机软件工作 的技术人员学习函数式程序设计参考。

乔海燕，中山大学计算机学院副教授，常年讲授程序设计课程。曾编写《数据结构与算法实验实践教程》（清华2012）；翻译《Haskell函数程序设计基础》（科学2015)，《算法设计与应用》（机工2018）

前 言 学习程序设计，必须选择一种高级程序设计语言。不同于其他介绍程序设计入门的一些书籍，本书选择了Haskell 函数式程序设计语言从函数式程序设计角度介绍程序设计。 高级程序设计语言大致可分为命令式和声明式两种。命令式语言如C、Java 和Python 等，这类语言的程序用语句序列描述如何一步步完成一个计算，其特点是有副作用。例如，对于任意正整数n，计算1~n的和1 + 2 + … + n，命令式语言的程序通常形如： s = 0 for (int i = 1; i <= n; i++) s = s + i 这里第一行设置变量s 的初值为0，接下来的循环语句（后两行）不断修改变量s 的值，最后s 的值便是计算结果。这种程序重点描述如何计算。 Haskell 函数式语言属于声明式语言，这种语言的程序用计算逻辑表达计算，不需要描述计算次序，其特点是无副作用。对于前面的求和问题，在Haskell 语言中可以定义数学函数sum： sum 0 = 0 sum n = n + sum (n-1) 在这里，计算1~n之和的Haskell 函数式程序是表达式sum n，sum 是一个纯数学函数，n 是数学意义上的变量，没有副作用。函数式程序重点描述计算什么。 函数式程序设计语言是建立在计算模型演算上的通用高级程序设计语言。由于它具有更高的抽象层次，更接近于人类习惯的数学思维，因此，更便于初学者理解和掌握。 Haskell 函数式程序设计语言具有下列特点。 （1）程序简洁优美，语义清晰，容易理解。例如，对于有一定程序设计基础的程序员，用命令式语言实现快速...