真实世界的OCaml 中文版PDF电子书下载

前言 1

第一部分 语言概念 11

第1章 导览旅行 11

1.1 OCaml作为计算器 11

1.2 函数和类型推断 13

1.3 元组、列表、选项和模式匹配 17

1.4 记录和变体 25

1.5 命令式编程 27

1.6 一个完整的程序 32

1.7 下一章的内容 33

第2章 变量和函数 34

2.1 变量 34

2.2 函数 38

第3章 列表和模式 55

3.1 列表基础 55

3.2 使用模式从列表抽取数据 56

3.3 模式匹配的局限性（和好处） 58

3.4 有效地使用List模块 61

3.5 尾递归 67

3.6 更简洁更快速的模式 69

第4章 文件、模块和程序 73

4.1 单文件程序 73

4.2 多文件程序和模块 76

4.3 签名和抽象类型 77

4.4 签名中的具体类型 80

4.5 嵌套模块 81

4.6 打开模块 82

4.7 包含模块 84

4.8 模块的常见错误 86

4.9 基于模块的设计 88

第5章 记录 91

5.1 模式和完备性 93

5.2 字段双关 95

5.3 重用字段名 96

5.4 功能更新 99

5.5 可变字段 101

5.6 首类字段 102

第6章 变体 106

6.1 Catch-All情况和重构 108

6.2 结合记录和变体 110

6.3 变体和递归数据结构 114

6.4 多态变体 117

第7章 错误处理 125

7.1 错误感知返回类型 125

7.2 异常 130

7.3 选择错误处理策略 139

第8章 命令式编程 141

8.1 示例：命令式字典 141

8.2 基本可变数据 145

8.3 for和while循环 148

8.4 示例：双向链表 149

8.5 懒惰和其他良性影响 153

8.6 输入和输出 160

8.7 计算顺序 166

8.8 副作用和弱多态 168

8.9 小结 173

第9章 仿函数 175

9.1 一个简单例子 176

9.2 一个更大的例子：间隔计算 177

9.3 扩展模块 189

第10章 首类模块 193

10.1 使用首类模块 193

10.2 示例：队列处理框架 199

10.3 如果没有首类模块 208

第11章 对象 210

11.1 OCaml对象 211

11.2 对象多态 212

11.3 不可变对象 214

11.4 如何使用对象 215

11.5 子类型化 216

第12章 类 225

12.1 OCaml类 225

12.2 类参数和多态 226

12.3 对象类型作为接口 228

12.4 继承 231

12.5 类类型 232

12.6 开放递归 233

12.7 私有方法 235

12.8 二值化方法 236

12.9 虚类和方法 239

12.10 初始化方法 242

12.11 多重继承 243

第二部分 工具和技术 251

第13章 映射和散列表 251

13.1 映射 252

13.2 散列表 261

13.3 映射和散列表之间的选择 264

第14章 命令行解析 268

14.1 基本命令行解析 269

14.2 参数类型 272

14.3 为命令行增加标签标志 277

14.4 组合子命令 278

14.5 对解析的高级控制 281

14.6 使用bash实现命令行自动完成 286

14.7 其他命令行解析器 288

第15章 处理JSON数据 289

15.1 JSON基础 289

15.2 用Yojson解析JSON 290

15.3 从JSON结构选择值 292

15.4 构造JSON值 296

15.5 使用非标准JSON扩展 298

15.6 JSON自动映射到OCaml类型 299

第16章 用OCamllex和Menhir完成解析 306

16.1 词法分析和解析 307

16.2 定义解析器 309

16.3 定义词法分析器 312

16.4 集成 316

第17章 利用S-表达式实现数据串行化 319

17.1 基本用法 320

17.2 Sexp格式 323

17.3 保持不变式 324

17.4 得到合适的错误消息 327

17.5 S-表达式转换指令 329

第18章 利用Async实现并发编程 334

18.1 Async基础 335

18.2 示例：回显服务器 340

18.3 示例：用DuckDuckGo搜索定义 345

18.4 异常处理 349

18.5 超时、撤销和选择 356

18.6 处理系统线程 358

第三部分 运行时系统 365

第19章 外部函数接口 365

19.1 示例：终端界面 366

19.2 基本标量C类型 370

19.3 指针和数组 371

19.4 结构和联合 374

19.5 向C传递函数 380

19.6 关于C绑定 383

第20章 值的内存表示 385

20.1 OCaml块和值 386

20.2 块和值 387

20.3 元组、记录和数组 389

20.4 变体和列表 390

20.5 多态变体 392

20.6 字符串值 392

20.7 定制堆块 393

第21章 了解垃圾回收器 395

21.1 标记和清扫垃圾回收 395

21.2 世代垃圾回收 396

21.3 快速次堆 396

21.4 长生存期的主堆 398

21.5 为值关联最终化函数 405

第22章 编译器前端：解析和类型检查 407

22.1 工具链概览 407

22.2 解析源代码 410

22.3 预处理源代码 414

22.4 静态类型检查 419

22.5 类型化语法树 431

第23章 编译器后端：字节码和原生代码 435

23.1 无类型Lambda形式 435

23.2 生成可移植的字节码 439

23.3 编译快速原生代码 444

23.4 文件扩展名小结 453