閔斯基、麥哈瓦佩迪、希基著的《真實世界的
OCaml(中文版)》將帶你快速認識一種工業強度級的
編程語言——0Caml，這是為實現表達性、安全性和
高速度而設計的一種語言。通過書中提供的豐富的例
子，你會很快了解OCamI是怎樣能夠脫穎而出，並用
來編寫快速、簡潔和可讀的繫統代碼的。 本書將
輕松地帶你了解這種語言的基本要領，然後幫助你學
習有關的工具和技術，正是這些工具和技術使OCaml
成為一個有效而且實用的工具。在本書的第三部分，
你會深入學習編譯器工具鏈以及OCaml簡單而有效的
運行時繫統的詳細內容。
學習OCamI語言的基礎知識，如高階函數、代數
數據類型和模塊。
研究0camI的高級特性，如仿函數、首類模塊和
對像。充分利用core，這是面向0camI的一個全面的
通用標準庫。設計有效而且可重用的庫，保證OcamI
大多數方法的抽像性和模塊性。 解決各種實際的
編程問題，從命令行解析到異步網絡編程都涵蓋在內
。利用GNu gdb等工具分析性能測試和交互式調試技
術。

前言
**部分 語言概念
第1章 導覽旅行
1.1 0Caml作為計算器
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.1 Catch-A11情況和重構
6.2 結合記錄和變體
6.3 變體和遞歸數據結構
6.4 多態變體
第7章 錯誤處理
7.1 錯誤感知返回類型
7.2 異常
7.3 選擇錯誤處理策略.
第8章 命令式編程
8.1 示例：命令式字典
8.2 基本可變數據
8.3 for和while循環
8.4 示例：雙向鏈表
8.5 懶惰和其他良性影響
8.6 輸入和輸出
8.7 計算順序
8.8 副作用和弱多態
8.9 小結
第9章 仿函數
9.1 一個簡單例子
9.2 一個*大的例子：間隔計算
9.3 擴展模塊
**0章 **模塊
10.1 使用**模塊
10.2 示例：隊列處理框架
10.3 如果沒有**模塊
**1章 對像
11.1 0caml對像
11.2 對像多態
11.3 不可變對像
11.4 如何使用對像
11.5 子類型化
**2章 類
12.1 OCaml類
12.2 類參數和多態
12.3 對像類型作為接口
12.4 繼承
12.5 類類型
12.6 開放遞歸
12.7 私有方法
12.8 二值化方法
12.9 虛類和方法
12.10 初始化方法
12.11 多重繼承

第二部分 工具和技術
**3章 映射和散列表
13.1 映射
13.2 散列表
13.3 映射和散列表之間的選擇
**4章 命令行解析
14.1 基本命令行解析
14.2 參數類型
14.3 為命令行增加標簽標志
14.4 組合子命令
14.5 對解析的**控制
14.6 使用bash實現命令行自動完成
14.7 其他命令行解析器
**5章 處理JSON數據.
15.1 JSON基礎
15.2 用Yojson解析JSON
15.3 從JSON結構選擇值
15.4 構造JSON值
15.5 使用非標準JSON擴展
15.6 JSON自動映射到0Caml類型
**6章 用OCamllex和Menhir完成解析
16.1 詞法分析和解析
16.2 定義解析器
16.3 定義詞法分析器
16.4 集成
**7章 利用S一表達式實現數據串行化..
17.1 基本用法
17.2 sexp格式
17.3 保持不變式
17.4 得到合適的錯誤消息
17.5 S-表達式轉換指令
**8章 利用Async實現並發編程
18.1 Asvnc基礎
18.2 示例：回顯服務器
18.3 示例：用DuckDuckGo搜索定義
18.4 異常處理
18.5 超時、撤銷和選擇
18.6 處理繫統線程

第三部分 運行時繫統
**9章 外部函數接口
19.1 示例：終端界面
19.2 基本標量C類型
19.3 指針和數組
19.4 結構和聯合
19.5 向C傳遞函數
19.6 關於C綁定
第20章 值的內存表示
20.1 0Caml塊和值
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 文件擴展名小結