新锐编程语言集萃：Haskell趣学指南

动手实践书中想象力丰富、略有点儿疯狂的示例，你将能够：挥舞纯函数式编程技法，笑看各种“副作用”。施展Haskell的“惰性”魔法，处理无限数据集。通过自定义类型、类型类和模块来组织程序。使用Haskell优雅的输入/输出系统与外部世界分享程序的灵魂。学习Haskell这门强大的语言，再没有比阅读这本书更好的方法了！

《新锐编程语言集萃：Haskell趣学指南》是一本讲解Haskell这门函数式编程语言的入门指南，语言通俗易懂，插图生动幽默，示例短小清晰，结构安排合理。书中从Haskell的基础知识讲起，涵盖了所有的基本概念和语法，内容涉及基本语法、递归、类型和类型类、函子、applicative 函子、monad、zipper及所有Haskell重要特性和强大功能。
《新锐编程语言集萃：Haskell趣学指南》适合对函数式编程及Haskell语言感兴趣的开发人员阅读。

作者介绍
Miran Lipova?a 斯洛文尼亚共和国卢布尔雅那城的一位计算机科学专业的学生。除了对Haskell的狂热，他还喜欢拳击，玩低音吉他，当然还有画画。

译者介绍
李亚舟 毕业于山东理工大学，现就职于IBM LTC，从事Linux发行版相关工作。对内核、体系结构、编程语言及技术翻译有浓厚兴趣，敬仰那些孜孜不倦地精益求精的人们。

宋方睿 本科生，清华大学开源镜像站维护者，blue-lotus战队成员，热爱算法和程序设计语言理论，关注高性能计算、自然语言处理及前端技术。个人博客https://maskray.me。

第1章各就各位，预备！
1.1调用函数
1.2小朋友的第一个函数
1.3列表入门
1.3.1拼接列表
1.3.2访问列表中的元素
1.3.3嵌套列表
1.3.4比较列表
1.3.5更多列表操作
1.4得州区间
1.5我是列表推导式
1.6元组
1.6.1使用元组
1.6.2使用序对
1.6.3找直角三角形
第2章相信类型
2.1显式类型声明
2.2Haskell的常见类型
2.3类型变量
2.4类型类入门
2.4.1Eq类型类
2.4.2Ord类型类
2.4.3Show类型类
2.4.4Read类型类
2.4.5Enum类型类
2.4.6Bounded类型类
2.4.7Num类型类
2.4.8Floating类型类
2.4.9Integeral类型类
2.4.10有关类型类的最后总结
第3章函数的语法
3.1模式匹配
3.1.1元组的模式匹配
3.1.2列表与列表推导式的模式匹配
3.1.3As模式
3.2注意，哨卫！
3.3where？！
3.3.1where的作用域
3.3.2where中的模式匹配
3.3.3where块中的函数
3.4let
3.4.1列表推导式中的let
3.4.2GHCi中的let
3.5case表达式
第4章你好，递归
4.1不可思议的最大值
4.2更多的几个递归函数
4.2.1replicate
4.2.2take
4.2.3reverse
4.2.4repeat
4.2.5zip
4.2.6elem
4.3快点，排序！
4.3.1算法思路
4.3.2编写代码
4.4递归地思考
第5章高阶函数
5.1柯里函数
5.1.1截断
5.1.2打印函数
5.2再来点儿高阶函数
5.2.1实现zipWith
5.2.2实现flip
5.3函数式程序员工具箱
5.3.1map函数
5.3.2filter函数
5.3.3有关map与filter的更多示例
5.3.4映射带有多个参数的函数
5.4lambda
5.5折叠纸鹤
5.5.1通过foldl进行左折叠
5.5.2通过foldr进行右折叠
5.5.3foldl1函数与foldr1函数
5.5.4折叠的几个例子
5.5.5另一个角度看折叠
5.5.6无限列表的折叠
5.5.7扫描
5.6有$的函数应用
5.7函数组合
5.7.1带有多个参数函数的组合
5.7.2Point-Free风格
第6章模块
6.1导入模块
6.2使用模块中的函数求解问题
6.2.1统计单词数
6.2.2干草堆中的缝纫针
6.2.3凯撒密码沙拉
6.2.4严格左折叠
6.2.5寻找酷数
6.3映射键与值
6.3.1几乎一样好：关联列表
6.3.2进入Data.Map
6.4构造自己的模块
6.4.1几何模块
6.4.2模块的层次结构
第7章构造我们自己的类型和类型类
7.1定义新的数据类型
7.2成型
7.2.1借助Point数据类型优化Shape数据类型
7.2.2将图形导出到模块中
7.3记录语法
7.4类型参数
7.4.1要不要参数化我们的汽车？
7.4.2末日向量
7.5派生实例
7.5.1相同的人
7.5.2告诉我怎么读
7.5.3法庭内保持秩序！
7.5.4一周的一天
7.6类型别名
7.6.1使我们的电话本更好看些
7.6.2参数化类型别名
7.6.3向左走，向右走
7.7递归数据结构
7.7.1优化我们的列表
7.7.2种一棵树
7.8类型类
7.8.1深入Eq类型类
7.8.2TrafficLight数据类型
7.8.3子类化
7.8.4作为类型类实例的带参数类型
7.9Yes-No类型类
7.10Functor类型类
7.10.1Maybe函子
7.10.2树也是函子
7.10.3Either a函子
7.11kind与无名类型
第8章输入与输出
8.1纯粹与非纯粹的分离
8.2Hello， World！
8.3组合I/O操作
8.3.1在I/O操作中使用let
8.3.2反过来
8.4几个实用的I/O函数
8.4.1putStr
8.4.2putChar
8.4.3print
8.4.4when
8.4.5sequence
8.4.6mapM
8.4.7forever
8.4.8forM
8.5I/O操作回顾
第9章更多的输入输出操作
9.1文件和流
9.1.1输入重定向
9.1.2从输入流获取字符串
9.1.3转换输入
9.2读写文件
9.2.1使用withFile函数
9.2.2bracket的时间到了
9.2.3抓住句柄
9.3TODO列表
9.3.1删除条目
9.3.2清理
9.4命令行参数
9.5关于TODO列表的更多有趣的事
9.5.1一个多任务列表
9.5.2处理错误的输入
9.6随机性
9.6.1掷硬币
9.6.2更多随机函数
9.6.3随机性和I/O
9.7字节串
9.7.1严格的和惰性字节串
9.7.2用字节串复制文件
第10章函数式地解决问题
10.1逆波兰式计算器
10.1.1计算RPN表达式
10.1.2写一个RPN函数
10.1.3添加更多的操作符
10.2从希思罗机场到伦敦
10.2.1计算最快的路线
10.2.2在Haskell中表示道路系统
10.2.3实现计算最佳路径的函数
10.2.4从输入获取道路系统
第11章applicative函子
11.1函子再现
11.1.1作为函子的I/O操作
11.1.2作为函子的函数
11.2函子定律
11.2.1定律1
11.2.2定律2
11.2.3违反定律
11.3使用applicative函子
11.3.1向applicative问好
11.3.2Maybe applicative函子
11.3.3applicative风格
11.3.4列表
11.3.5IO也是applicative函子
11.3.6函数作为applicative
11.3.7zip列表
11.3.8applicative定律
11.4applicative的实用函数
第12章Monoid
12.1把现有类型包裹成新类型
12.1.1用newtype创建类型类的实例
12.1.2关于newtype的惰性
12.1.3type、newtype和data三者的对比
12.2关于那些monoid
12.2.1Monoid类型类
12.2.2monoid定律
12.3认识一些monoid
12.3.1列表是monoid
12.3.2Product和Sum
12.3.3Any和All
12.3.4Ordering monoid
12.3.5Maybe monoid
12.4monoid的折叠
第13章更多monad的例子
13.1升级我们的applicative函子
13.2体会Maybe
13.3Monad类型类
13.4一往无前
13.4.1代码，代码，代码
13.4.2我要飞走
13.4.3线上的香蕉
13.5do记法
13.5.1按我所说的去做
13.5.2我皮埃尔又回来了
13.5.3模式匹配和计算失败
13.6列表monad
13.6.1do记法和列表推导式
13.6.2MonadPlus和guard函数
13.6.3马的探索
13.7monad定律
13.7.1左单位元
13.7.2右单位元
13.7.3结合律
第14章再多一些monad
14.1Writer？我没听说过啊！
14.1.1monad赶来营救
14.1.2Writer类型
14.1.3对Writer使用do记法
14.1.4给程序添加日志
14.1.5低效的列表构造
14.1.6使用差分列表
14.1.7比较性能
14.2Reader？呃，不开玩笑了
14.2.1作为monad的函数
14.2.2Reader monad
14.3带状态计算的优雅表示
14.3.1带状态的计算
14.3.2栈和石头
14.3.3State monad
14.3.4获取和设置状态
14.3.5随机性和State monad
14.4墙上的Error
14.5一些实用的monad式的函数
14.5.1liftM和它的朋友们
14.5.2join函数
14.5.3filterM
14.5.4foldM
14.6创建一个安全的RPN计算器
14.7组合monad式的函数
14.8创建monad
第15章zipper
15.1在树上移动
15.1.1面包屑
15.1.2向上走
15.1.3处理焦点处的树
15.1.4一路走到顶端，那里的空气既新鲜又干净
15.2在列表上定位
15.3一个非常简单的文件系统
15.3.1为文件系统创建一个zipper
15.3.2操作文件系统
15.4小心行事
15.5谢谢阅读！