Real World OCaml（中文版）

本书将带你快速认识一种工业强度级的编程语言——OCaml，这是为实现表达性、安全性和高速度而设计的一种语言。通过书中提供的丰富的例子，你会很快了解OCaml是怎样能够脱颖而出，并用来编写快速、简洁和可读的系统代码的。
本书将轻松地带你了解这种语言的基本要领，然后帮助你学习有关的工具和技术，正是这些工具和技术使OCaml成为一个有效而且实用的工具。在本书的第三部分，你会深入学习编译器工具链以及OCaml简单而有效的运行时系统的详细内容。
学习OCaml语言的基础知识，如高阶函数、代数数据类型和模块。
研究OCaml的不错特性，如仿函数、首类模块和对象。
充分利用Core，这是面向OCaml的一个全面的通用标准库。
设计有效而且可重用的库，保证OCaml大多数方法的抽象性和模块性。
解决各种实际的编程问题，从命令行解析到异步网络编程都涵盖在内。
利用GNUgdb等工具分析性能测试和交互式调试技术。

Yaron Minsky领导着Jane Street公司的技术小组，Jane Street是一家控股商业公司，也是OCaml优选的工业用户。多年来，Yaron一直在OCaml领域发表演说、撰写博客和写书。
Anil Madhavapeddy在剑桥大学计算机实验室领导OCaml实验室研究小组。他曾用OCaml构建过很多大规模系统，如Xen Server平台。
Jason Hickey是Google的一位软件工程师，作为团队的一员，设计和开发了支持Google服务的优选计算基础设施。

前言
第一部分语言概念
第1章导览旅行
1.10Caml作为计算器
1.2函数和类型推断
1.3元组、列表、选项和模式匹配
1.4记录和变体
1.5命令式编程
1.6个完整的程序
1.7下一章的内容
第2章变量和函数
2.1变量
2.2函数
第3章列表和模式
3.1列表基础
3.2使用模式从列表抽取数据
3.3模式匹配的局限性（和好处）
3.4有效地使用Li.st模块
3.5尾递归
3.6更简洁更快速的模式
第4章文件、模块和程序
4.1单文件程序
4.2多文件程序和模块
4.3签名和抽象类型
4.4签名中的具体类型
4.5嵌套模块
4.6打开模块
4.7包含模块
4.8模块的常见错误
4.9基于模块的设计
第5章记录
5.1模式和完备性
5.2字段双关
5.3重用宇段名
5.4功能更新
5.5可变字段
5.6首类字段
第6章变体
6.1Catch-A11情况和重构
6.2结合记录和变体
6.3变体和递归数据结构
6.4多态变体
第7章错误处理
7.1错误感知返回类型
7.2异常
7.3选择错误处理策略
第8章命令式编程
8.1示例：命令式字典
8.2基本可变数据
8.3for和while循环
8.4示例：双向链表
8.5懒惰和其他良性影响
8.6输入和输出
8.7计算顺序
8.8副作用和弱多态
8.9小结
第9章仿函数
9.1一个简单例子
9.2一个更大的例子：间隔计算
9.3扩展模块
第10章首类模块
10.1使用首类模块
10.2示例：队列处理框架
10.3如果没有首类模块
第11章对象
11.10caml对象
11.2对象多态
11.3不可变对象
11.4如何使用对象
11.5子类型化
第12章类
12.1OCaml类
12.2类参数和多态
12.3对象类型作为接口
12.4继承
12.5类类型
12.6开放递归
12.7私有方法
12.8二值化方法
12.9虚类和方法
12.10初始化方法
12.11多重继承
第二部分工具和技术
第13章映射和散列表
13.1映射
13.2散列表
13.3映射和散列表之间的选择
第14章命令行解析
14.1基本命令行解析
14.2参数类型
14.3为命令行增加标签标志
14.4组合子命令
14.5对解析的高级控制
14.6使用bash实现命令行自动完成
14.7其他命令行解析器
第15章处理JSON数据
15.1JSON基础
15.2用Yojson解析JSON
15.3从JSON结构选择值
15.4构造JSON值
15.5使用非标准JSON扩展
15.6JSON自动映射到0Caml类型
第16章用OCamllex和Menhir完成解析
16.1词法分析和解析
16.2定义解析器
16.3定义词法分析器
16.4集成
第17章利用S-表达式实现数据串行化
17.1基本用法
17.2sexp格式
17.3保持不变式
17.4得到合适的错误消息
17.5S-表达式转换指令
第18章利用Async实现并发编程
18.1Asvnc基础
18.2示例：回显服务器
18.3示例：用DuckDuckGo搜索定义
18.4异常处理
18.5超时、撤销和选择
18.6处理系统线程
第三部分运行时系统
第19章外部函数接口
19.1示例：终端界面
19.2基本标量C类型
19.3指针和数组
19.4结构和联合
19.5向C传递函数
19.6关于C绑定
第20章值的内存表示
20.10Caml块和值
20.2块和值
20.3元组、记录和数组
20.4变体和列表
20.5多态变体
20.6字符串值
20.7定制堆块
第21章了解垃圾回收器
21.1标记和清扫垃圾回收
21.2世代垃圾回收
21.3快速次堆
21.4长生存期的主堆
21.5为值关联最终化函数
第22章编译器前端：解析和类型检查
22.1工具链概览
22.2解析源代码
22.3预处理源代码
22.4静态类型检查
22.5类型化语法树
第23章编译器后端：字节码和原生代码
23.1无类型Lambda形式
23.2生成可移植的字节码
23.3编译快速原生代码
23.4文件扩展名小结

见附件