Haskell函数式程序设计 pdf epub mobi txt 电子书 下载 2025

想要找书就要到 小美书屋

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

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

Richard Bird is Emeritus Professor of Computer Science at Oxford University Computing Laboratory and a Fellow of Lincoln College, Oxford. He has authored many books, including Algebra of Programming (1996) and Pearls of Functional Algorithm Design (Cambridge University Press, 2010).

出版者的话
译者序
前言
第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注记
索引
· · · · · · (收起)