• 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 效果处理器