Haskell函数式编程入门【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

Haskell函数式编程入门PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章Haskell简介1

1.1 Haskell的由来1

1.2 Haskell编译器的安装以及编写环境3

1.3 GHCi的使用4

1.3.1 GHCi中的命令5

1.3.2在GHCi中调用函数5

1.4 .hs和.lhs文件、注释与库函数7

1.5第一个Haskell程序HelloWorld！7

本章小结8

第2章 类型系统和函数9

2.1 Haskell的类型与数据9

2.1.1 Haskell常用数据类型9

2.1.2函数类型14

2.1.3类型的别名17

2.1.4类型的重要性18

2.2 Haskell中的类型类19

2.2.1相等类型类.Eq20

2.2.2有序类型类.Ord20

2.2.3枚举类型类.Emum21

2.2.4有界类型类.Bounded21

2.2.5数字类型类.Num22

2.2.6可显示类型类.Show25

2.2.7小结25

2.3 Haskell中的函数26

2.3.1 Haskell中的值26

2.3.2函数思想入门27

2.3.3函数的基本定义格式28

2.3.4 λ表达式30

2.3.5参数的绑定34

2.4 Haskell中的表达式35

2.4.1条件表达式35

2.4.2情况分析表达式36

2.4.3守卫表达式37

2.4.4模式匹配37

2.4.5运算符与函数38

2.4.6运算符与自定义运算符38

本章小结41

第3章 基于布尔值的函数42

3.1关键字module与import简介42

3.2简易布尔值的函数43

3.3与非门和或非门46

本章小结47

第4章 库函数及其应用48

4.1预加载库函数48

4.1.1常用函数48

4.1.2基于列表的函数50

4.1.3定义历法公式57

4.1.4字符串处理的函数58

4.2字符与位函数库简介60

4.2.1 Data.Char60

4.2.2 Data.Bits60

本章小结61

第5章 递归函数62

5.1递归函数的概念62

5.2简单递归函数64

5.3扩展递归与尾递归66

5.4互调递归68

5.5麦卡锡的91函数69

5.6斐波那契数列69

5.7十进制数字转成罗马数字73

5.8二分法查找74

5.9汉诺塔75

5.10排序算法78

5.10.1插入排序78

5.10.2冒泡排序81

5.10.3选择排序83

5.10.4快速排序84

5.10.5归并排序86

小结91

5.11递归基本条件与程序终止91

5.12递归与不动点92

5.13无基本条件递归和惰性求值94

本章小结96

第6章 列表内包97

6.1列表生成器97

6.2素数相关趣题99

6.3凯撒加密101

6.3.1加密102

6.3.2解密102

6.4排列与组合问题104

6.4.1排列问题104

6.4.2错位排列问题105

6.4.3组合问题106

6.5八皇后问题107

6.6计算矩阵乘法111

6.7最短路径算法与矩阵乘法112

本章小结116

第7章 高阶函数与复合函数117

7.1简单高阶函数117

7.2折叠函数foldr与foldr119

7.3 mapAccum？与mapAccumR函数125

7.4复合函数126

本章小结128

第8章 定义数据类型129

8.1数据类型的定义129

8.1.1枚举类型129

8.1.2构造类型132

8.1.3参数化类型134

8.1.4递归类型138

8.1.5杂合定义类型140

8.2类型的同构142

8.3使用newtype定义类型146

8.4数学归纳法的有效性148

8.5树150

8.6卡特兰数问题151

8.7霍夫曼编码152

8.8解24点154

8.9 zipper157

8.10一般化的代数数据类型159

8.11类型的kind162

8.11.1类型的kind162

8.11.2空类型的声明164

本章小结165

第9章 定义类型类166

9.1定义类型类166

9.2 Haskell中常见类型类169

9.2.1常用类型类169

9.2.2 Functor171

9.2.3 App工icative173

9.2.4 Alternative177

9.2.5简易字符识别器179

9.2.6 Read类型类182

9.2.7单位半群（Monoid ）182

9.2.8 Foldable与Monoid类型类184

9.2.9小结186

9.3类型类中的类型依赖187

9.4类型类中的关联类型192

9.5定长列表193

9.6运行时重载197

9.7 Existential类型198

本章小结199

第10章Monad初步201

10.1 Monad简介201

10.2从工dentity Monad开始204

10.3 Maybe Monad206

10.4 Monad定律209

10.5列表Monad210

10.6 Monad相关运算符210

10.7 MonadPlus211

10.8 Functor、 Applicative与Monad的关系213

本章小结215

第11章 系统编程及输入/输出216

11.1不纯函数与副作用216

11.2工O Monad218

11.3输入/输出处理222

11.3.1 Control.Monad中的函数222

11.3.2系统环境变量与命令行参数224

11.3.3数据的读写225

11.3.4格式化输出printf函数228

11.3.5 printf函数的简易实现229

11.4星际译王词典233

11.4.1二分法查找234

11.4.2散列表的使用237

11.5简易异常处理239

11.6 Haskell中的时间244

本章小结245

第12章 记录器Monad、读取器Monad、状态Monad246

12.1记录器Monad246

12.1.1 MonadWriter248

12.1.2记录归并排序过程249

12.2读取器Monad250

12.2.1 MonadReader251

12.2.2变量环境的引用252

12.3状态Monad253

12.3.1状态Monad标签器254

12.3.2用状态Monad实现栈结构255

12.3.3状态Monad、 FunApp单位半群和读取器Monad的关系257

12 3.4 MonadState258

12.3.5基于栈的计算器258

12.4随机数的生成270

本章小结271

第13章Monad转换器273

13.1从工dentityT Monad转换器开始273

13.2 Monad转换器组合与复合 Monad的区别276

13.3 Monad转换器的组合顺序278

13.4 lift与lift工O281

13.5简易Monad编译器282

13.6语法分析器Monad组合子286

13.6.1简易语法分析器的实现287

13.6.2 Parsec库简介291

13.6.3上下文无关文法296

13.6.4基于语法分析器的计算器300

本章小结304

第14章QuickCheck简介305

14.1测试函数属性305

14.2测试数据生成器308

本章小结310

第15章 惰性求值简介311

15.1 λ演算简介311

15.2⊥Bottom313

15.3表达式形态和thunk314

15.3.1 WHNF.HNF与NF314

15.3.2 thunk与严格求值315

15.4求值策略319

15.4.1引值调用319

15.4.2按名调用320

15.4.3常序求值320

15.5惰性求值321

15.6严格模式匹配与惰性模式匹配322

第16章 并行与并发编程324

16.1确定性的并行计算325

16.2轻量级线程333

16.2.1调度的不确定性333

16.2.2基本线程通信334

16.2.3信道337

16.2.4简易聊天服务器337

16.3软件事务内存341

16.3.1软件事务内存简介341

16.3.2软件事务内存的使用343

16.3.3哲学家就餐问题347

16.3.4圣诞老人问题350

16.4异步并发库简介355

本章小结357

参考文献358

后记359