• OCaml 語言
• 語言擴展

第 12 章 語言擴展

本章描述 OCaml 中實作的語言擴展和便利功能，但未在第 11 章中描述。

• 1 值的遞迴定義
• 2 遞迴模組
• 3 私有類型
• 4 局部抽象類型
• 5 第一級模組
• 6 恢復模組的類型
• 7 在簽名內進行替換
• 8 類型層級模組別名
• 9 在 open 語句中覆蓋
• 10 廣義代數資料類型
• 11 Bigarray 存取語法
• 12 屬性
• 13 擴展節點
• 14 可擴展變體類型
• 15 生成函式子
• 16 僅限擴展的語法
• 17 行內記錄
• 18 文件註解
• 19 擴展索引運算子
• 20 空變體類型
• 21 警示
• 22 廣義 open 語句
• 23 綁定運算子
• 24 效果處理器