Haskell函数式程序设计

作者简介

本书通过Haskell语言介绍函数式程序设计的基本思想和方法，讲解如何将数学思维应用于程序设计问题，以实现更高效的计算。本书涵盖Haskell的诸多特性，但并不是这门语言的参考指南，而是旨在利用丰富的实例和练习揭示函数式程序设计的本质。本书不要求读者具备程序设计基础，所涉及的数学知识也并不高深，既适合初学者阅读，也适合有经验的程序员参考。

书籍目录

出版者的话

译者序

前言

第1章何谓函数式程序设计

1.1函数和类型

1.2函数复合

1.3例子：高频词

1.4例子：数字转换为词

1.5Haskell平台

1.6习题

1.7答案

1.8注记

第2章表达式、类型和值

2.1GHCi会话

2.2名称和运算符

2.3求值

2.4类型和类族

2.5打印值

2.6模块

2.7Haskell版面

2.8习题

2.9答案

2.10注记

第3章数

3.1类族Num

3.2其他数值类族

3.3取底函数的计算

3.4自然数

3.5习题

3.6答案

3.7注记

第4章列表

4.1列表记法

4.2枚举

4.3列表概括

4.4—些基本运算

4.5串联

4.6函数cancat、map和filter

4.7函数zip和zipWith

4.8高频词的完整解

4.9习题

4.10答案

4.11注记

第5章一个简单的数独求解器

5.1问题说明

5.2合法程序的构造

5.3修剪选择矩阵

5.4格子的扩展

5.5习题

5.6答案

5.7注记

第6章证明

6.1自然数上的归纳法

6.2列表归纳法

6.3函数foldr

6.4函数foldl

6.5函数scanl

6.6最大连续段和问题

6.7习题

6.8答案

6.9注记

第7章效率

7.1惰性求值

7.2空间的控制

7.3运行时间的控制

7.4时间分析

7.5累积参数

7.6元组

7.7排序

7.8习题

7.9答案

7.10注记

第8章精美打印

8.1问题背景

8.2文档

8.3—种直接实现

8.4例子

8.5最佳格式

8.6项表示

8.7习题

8.8答案

8.9注记

第9章无穷列表

9.1复习

9.2循环列表

9.3作为极限的无穷列表

9.4石头—剪刀—布

9.5基于流的交互

9.6双向链表

9.7习题

9.8答案

9.9注记

第10章命令式函数式程序设计

10.110单子

10.2更多的单子

10.3状态单子

10.4ST单子

10.5可变数组

10.6不变数组

10.7习题

10.8答案

10.9注记

第11章句法分析

11.1单子句法分析器

11.2基本分析器

11.3选择与重复

11.4语法与表达式

11.5显示表达式

11.6习题

11.7答案

11.8注记

第12章一个简单的等式计算器

12.1基本思想

12.2表达式

12.3定律

12.4计算

12.5重写

12.6匹配

12.7代换

12.8测试计算器

12.9习题

12.10答案

12.11注记

索引

 Haskell函数式程序设计下载