Haskell趣学指南PDF电子书下载

第1章 各就各位，预备！ 1

1.1调用函数 3

1.2小朋友的第一个函数 4

1.3列表入门 6

1.3.1拼接列表 6

1.3.2访问列表中的元素 8

1.3.3嵌套列表 8

1.3.4比较列表 8

1.3.5更多列表操作 9

1.4得州区间 11

1.5我是列表推导式 13

1.6元组 16

1.6.1使用元组 16

1.6.2使用序对 17

1.6.3找直角三角形 18

第2章 相信类型 20

2.1显式类型声明 20

2.2 Haskell的常见类型 21

2.3类型变量 22

2.4类型类入门 23

2.4.1 Eq类型类 24

2.4.2 Ord类型类 24

2.4.3 Show类型类 25

2.4.4 Read类型类 25

2.4.5 Enum类型类 27

2.4.6 Bounded类型类 27

2.4.7 Num类型类 28

2.4.8 Floating类型类 28

2.4.9Integeral类型类 28

2.4.10有关类型类的最后总结 29

第3章 函数的语法 30

3.1模式匹配 30

3.1.1元组的模式匹配 32

3.1.2列表与列表推导式的模式匹配 32

3.1.3 As模式 34

3.2注意，哨卫！ 34

3.3 where？！ 36

3.3.1 where的作用域 37

3.3.2 where中的模式匹配 38

3.3.3 where块中的函数 38

3.4 let 39

3.4.1列表推导式中的let 40

3.4.2 GHCi中的let 40

3.5 case表达式 41

第4章 你好，递归 43

4.1不可思议的最大值 43

4.2更多的几个递归函数 45

4.2.1 replicate 45

4.2.2 take 45

4.2.3 reverse 46

4.2.4 repeat 46

4.2.5 z ip 46

4.2.6 elem 47

4.3快点，排序！ 47

4.3.1算法思路 47

4.3.2编写代码 48

4.4递归地思考 49

第5章 高阶函数 50

5.1柯里函数 50

5.1.1截断 52

5.1.2打印函数 53

5.2再来点儿高阶函数 53

5.2.1实现z ipw i th 54

5.2.2实现flip 55

5.3函数式程序员工具箱 56

5.3.1 map函数 56

5.3.2 f i lter函数 57

5.3.3有关map与filter的更多示例 58

5.3.4映射带有多个参数的函数 60

5.4 lambda 60

5.5折叠纸鹤 62

5.5.1通过foldl进行左折叠 63

5.5.2通过foldr进行右折叠 63

5.5.3 foldll函数与foldrl函数 64

5.5.4折叠的几个例子 65

5.5.5另一个角度看折叠 66

5.5.6无限列表的折叠 67

5.5.7扫描 68

5.6有？的函数应用 68

5.7函数组合 70

5.7.1带有多个参数函数的组合 70

5.7.2 Point-Free风格 71

第6章 模块 73

6.1导入模块 73

6.2使用模块中的函数求解问题 75

6.2.1统计单词数 75

6.2.2干草堆中的缝纫针 76

6.2.3凯撒密码沙拉 77

6.2.4严格左折叠 79

6.2.5寻找酷数 80

6.3映射键与值 82

6.3.1几乎一样好：关联列表 82

6.3.2进入Data .Map 83

6.4构造自己的模块 87

6.4.1几何模块 87

6.4.2模块的层次结构 89

第7章 构造我们自己的类型和类型类 91

7.1定义新的数据类型 91

7.2成型 92

7.2.1借助Point数据类型优化Shape数据类型 93

7.2.2将图形导出到模块中 94

7.3记录语法 95

7.4类型参数 97

7.4.1要不要参数化我们的汽车？ 99

7.4.2末日向量 100

7.5派生实例 102

7.5.1相同的人 102

7.5.2告诉我怎么读 103

7.5.3法庭内保持秩序！ 104

7.5.4一周的一天 105

7.6类型别名 106

7.6.1使我们的电话本更好看些 107

7.6.2参数化类型别名 108

7.6.3向左走，向右走 109

7.7递归数据结构 111

7.7.1优化我们的列表 111

7.7.2种一棵树 113

7.8类型类 115

7.8.1深入Eq类型类 116

7.8.2 TrafficLight数据类型 116

7.8.3子类化 118

7.8.4作为类型类实例的带参数类型 118

7.9 Yes-No类型类 120

7.10 Functor类型类 122

7.10.1 Maybe函子 124

7.10.2树也是函子 124

7.10.3 Either a函子 125

7.11kind与无名类型 126

第8章 输入与输出 128

8.1纯粹与非纯粹的分离 128

8.2 Hello， World！ 129

8.3组合I/O操作 130

8.3.1在I/O操作中使用let 132

8.3.2反过来 133

8.4几个实用的I/O函数 135

8.4.1 putStr 135

8.4.2 putChar 135

8.4.3 print 136

8.4.4 when 137

8.4.5 sequence 137

8.4.6 mapM 138

8.4.7 forever 139

8.4.8 forM 139

8.5 I/O操作回顾 140

第9章 更多的输入输出操作 141

9.1文件和流 141

9.1.1输入重定向 141

9.1.2从输入流获取字符串 142

9.1.3转换输入 144

9.2读写文件 146

9.2.1使用withFile函数 147

9.2.2 bracket的时间到了 148

9.2.3抓住句柄 149

9.3 TODO列表 149

9.3.1删除条目 150

9.3.2清理 152

9.4命令行参数 153

9.5关于TODO列表的更多有趣的事 154

9.5.1一个多任务列表 155

9.5.2处理错误的输入 158

9.6随机性 159

9.6.1掷硬币 160

9.6.2更多随机函数 161

9.6.3随机性和I/O 162

9.7字节串 165

9.7.1严格的和惰性字节串 166

9.7.2用字节串复制文件 167

第10章 函数式地解决问题 169

10.1逆波兰式计算器 169

10.1.1计算RPN表达式 169

10.1.2写一个RPN函数 170

10.1.3添加更多的操作符 172

10.2从希思罗机场到伦敦 173

10.2.1计算最快的路线 174

10.2.2在Haskell中表示道路系统 176

10.2.3实现计算最佳路径的函数 177

10.2.4从输入获取道路系统 179

第11章applicative函子 182

11.1函子再现 182

11.1.1作为函子的I/O操作 183

11.1.2作为函子的函数 185

11.2函子定律 187

11.2.1定律1 188

11.2.2定律2 188

11.2.3违反定律 189

11.3使用applicative函子 191

11.3.1向applicative问好 192

11.3.2 Maybe applicative函子 192

11.3.3 applicative风格 193

11.3.4列表 195

11.3.5IO也是applicative函子 197

11.3.6函数作为applicative 198

11.3.7 zip列表 199

11.3.8 applicative定律 200

11.4 applicative的实用函数 201

第12章 Monoid 205

12.1把现有类型包裹成新类型 205

12.1.1用newtype创建类型类的实例 207

12.1.2关于newtype的惰性 208

12.1.3 type、 newtype和data三者的对比 210

12.2关于那些monoid 211

12.2.1 Monoid类型类 212

12.2.2 monoid定律 213

12.3认识一些monoid 213

12.3.1列表是monoid 213

12.3.2 Product和Sum 214

12.3.3 Any和All 216

12.3.4 Ordering monoid 217

12.3.5 Maybe monoid 219

12.4 monoid的折叠 221

第13章 更多monad的例子 224

13.1升级我们的applicative函子 224

13.2体会Maybe 225

13.3 Monad类型类 228

13.4一往无前 229

13.4.1代码，代码，代码 230

13.4.2我要飞走 231

13.4.3线上的香蕉 234

13.5 do记法 235

13.5.1按我所说的去做 236

13.5.2我皮埃尔又回来了 237

13.5.3模式匹配和计算失败 238

13.6列表monad 239

13.6.1 do记法和列表推导式 241

13.6.2 MonadPlus和guard函数 242

13.6.3马的探索 243

13.7 monad定律 245

13.7.1左单位元 246

13.7.2右单位元 246

13.7.3结合律 247

第14章 再多一些monad 249

14.1 Writer？我没听说过啊！ 249

14.1.1 monad赶来营救 251

14.1.2 Writer类型 253

14.1.3对Writer使用do记法 254

14.1.4给程序添加日志 255

14.1.5低效的列表构造 257

14.1.6使用差分列表 258

14.1.7比较性能 259

14.2 Reader？呃，不开玩笑了 260

14.2.1作为monad的函数 261

14.2.2 Reader monad 261

14.3带状态计算的优雅表示 262

14.3.1带状态的计算 263

14.3.2栈和石头 264

14.3.3 State monad 265

14.3.4获取和设置状态 267

14.3.5随机性和State monad 268

14.4墙上的Error 269

14.5一些实用的monad式的函数 271

14.5.1 liftM和它的朋友们 271

14.5.2 j oin函数 274

14.5.3 filterM 276

14.5.4 foldM 278

14.6创建一个安全的RPN计算器 279

14.7组合monad式的函数 281

14.8创建monad 282

第15章 zipper 287

15.1在树上移动 287

15.1.1面包屑 290

15.1.2向上走 291

15.1.3处理焦点处的树 293

15.1.4一路走到顶端，那里的空气既新鲜又干净 294

15.2在列表上定位 294

15.3一个非常简单的文件系统 295

15.3.1为文件系统创建一个zipper 296

15.3.2操作文件系统 298

15.4小心行事 299

15.5谢谢阅读！ 301