真实世界的OCaml 中文版【2025|PDF下载-Epub版本|mobi电子书|kindle百度云盘下载】

真实世界的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解析JSON290

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