Haskell函数式编程基础

图书标准信息

• 作者 [英]Simon Thompson 著；乔海燕、张迎周 译
• 出版社 科学出版社
• 出版时间 2015-06
• 版次 1
• ISBN 9787030441683
• 定价 150.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 552页
• 字数 804千字
• 正文语种 简体中文
• 原版书名 Haskell:The Craft of Functional Programming(Third Edition)
• 丛书 国外信息科学与技术优秀图书系列

【内容简介】

　　《Haskell函数式编程基础（原书第3版）》是一本非常优秀的Haskell函数式程序设计的入门书，依次介绍函数式程序设计的基本概念、编译器和解释器、函数的各种定义方式、简单程序的构造、多态和高阶函数、数组和列表的结构化数据、列表上的原始递归和推理、输入输出I/O的控制处理、类型检测方法、代数数据类型、抽象数据类型、惰性计算等内容。《Haskell函数式编程基础（原书第3版）》包含大量的实例和习题，注重程序测试、程序证明和问题求解，易读易学。《Haskell函数式编程基础（原书第3版）》循序渐进，从基本的函数式程序设计直至高级专题，让读者对Haskell的学习不断深入。

【目录】

第1章函数式程序设计简介
1.1计算机与建模
1.2什么是函数
1.3图形与函数
1.4类型
1.5函数式程序设计语言Haskell
1.6表达式与计算
1.7定义
1.8函数定义
1.9类型与函数式程序设计
1.10计算与求值
1.11函数式程序设计的精髓
1.12领域专用语言
1.13图形的两种模型.
1.14测试、性质和证明

第2章认识Haskell与GHCi
2.1第一个Haskell程序
2.2在工作中使用Haskell
2.3使用GHCi
2.4标准库Prelude和Haskell函数库
2.5模块
2.6例子：Pictures
2.7错误与错误信息

第3章基本类型与定义
3.1布尔类型Bool
3.2整数类型：Integer和Int
3.3重载
3.4守卫
3.5字符和串
3.6浮点数Float
3.7语法
第4章设计与书写程序
4.1如何开始一个Haskell程序的设计
4.2逐步求解问题：局部定义
4.3自定义类型：枚举类型
4.4递归
4.5实践中的原始递归
4.6扩展练习：图形.
4.7递归的一般形式
4.8程序测试.
第5章数据类型、多元组与列表
5.1多元组和列表简介
5.2元组类型
5.3代数类型简介
5.4本书对列表的介绍方法
5.5Haskell的列表
5.6列表概括
5.7图书馆数据库

第6章列表程序设计.
6.1通用函数：多态
6.2Haskell引导库Prelude中的列表函数
6.3认识Haskell函数库
6.4Picture例子的实现
6.5扩展练习：图形的另一种实现
6.6扩展练习：有位置的图形
6.7扩展练习：超市账单
6.8扩展练习：纸牌和纸牌游戏

第7章定义列表上的函数
7.1再谈模式匹配
7.2列表与列表模式
7.3列表上的原始递归
7.4寻找原始递归定义
7.5列表上的一般递归
7.6例子：文本处理

第8章游戏：Haskell的I/O
8.1石头-剪刀-布的策略
8.2为什么I/O是一个问题
8.3输入/输出
8.4do语法
8.5迭代与递归
8.6石头-剪刀-布：玩游戏

第9章程序推理
9.1理解定义
9.2测试与证明
9.3定义性、终止性和有限性
9.4一些逻辑知识
9.5归纳法
9.6归纳证明的进一步例子
9.7推广证明目标

第10章推广：计算模型
10.1列表上的计算模式
10.2高阶函数：函数作为参数
10.3折叠与原始递归
10.4推广：拆分列表
10.5再谈实例

第11章高阶函数
11.1运算：函数的复合和应用
11.2函数的表达式：λ抽象
11.3部分应用
11.4卡瑞式函数
11.5定义高阶函数
11.6验证与通用函数

第12章高级程序开发
12.1再谈Picture
12.2函数作为数据：策略组合子
12.3函数作为数据：正则表达式匹配
12.4函数作为数据的实例
12.5例子：建立索引
12.6实践中的程序开发
12.7理解程序

第13章重载，类族和类型检测
13.1为什么使用重载？
13.2引进类族
13.3签名和实例
13.4Haskell的预定义类族
13.5类型检测和类型推导概述
13.6单态类型检测
13.7多态类型检测
13.8类型检测与类族

第14章代数类型
14.1代数类型回顾
14.2递归代数类型
14.3多态代数类型
14.4程序错误的表示
14.5使用代数类型设计系统
14.6代数类型与类族
14.7代数类型的推理

第15章实例研究：Hu.man编码
15.1Haskell的模块
15.2模块设计
15.3编码与译码
15.4实现一
15.5构造Hu.man树
15.6设计
15.7实现二

第16章抽象数据类型
16.1类型表示
16.2Haskell抽象数据类型机制
16.3队列
16.4设计
16.5仿真
16.6实现仿真
16.7查找树
16.8集合
16.9关系和图
16.10评注

第17章惰性计算
17.1惰性计算
17.2计算规则与惰性计算
17.3再谈列表概括
17.4数据导向编程
17.5实例：分析表达式
17.6无穷列表
17.7为什么使用无穷列表
17.8实例：仿真
17.9再谈证明

第18章单子程序设计
18.1输入/输出程序
18.2深入I/O
18.3计算器
18.4再谈do记法
18.5单子：为函数式程序设计定制的语言
18.6例子：树上的单子式计算

第19章领域专用语言
19.1程序语言无处不在
19.2为什么在Haskell中嵌入DSL？
19.3浅嵌入和深嵌入
19.4处理正则表达式的DSL
19.5单子式DSL
19.6表示计算的DSL：QuickCheck中的数据生成
19.7深入DSL

第20章时间与空间行为
20.1函数的复杂度
20.2计算的复杂度
20.3集合的实现.
20.4空间行为
20.5再谈折叠
20.6避免重复计算：记忆

第21章结论
21.1函数式程序设计的威力
21.2深入Haskell
21.3网络上的Haskell
21.4其他函数式程序设计语言

附录A函数式，命令式和OO程序设计
A.1值与状态
A.2函数与变量
A.3程序验证
A.4记录和元组
A.5列表和指针
A.6高阶函数
A.7多态
A.8定义类型与类族
A.9列表概括
A.10惰性计算
A.11状态，无穷列表和单子
A.12结论
附录B术语解释
附录CHaskell运算符
附录DHaskell实践
D.1实现
D.2下载Craft3e代码
D.3使用GHCi
D.4Haskell编辑器
附录EGHCi错误
E.1语法错误
E.2类型错误
E.3程序错误
E.4模块错误
E.5系统信息
附录F项目建设
F.1游戏与智力测验
F.2Web图形
F.3逻辑
F.4投票系统
F.5有穷自动机
F.6领域专用语言
参考文献
索引