COLLECTION · 合集
OCaml 笔记
探索 OCaml 的类型系统、函数式设计、编译器与工程化实践。
CHAPTER 01
语言与思维
OCaml：从“组织对象”转向“描述变换”
从 Kotlin 开发者的视角认识 OCaml：类型推导、代数数据类型、模式匹配、不可变数据、柯里化与模块系统，理解函数式编程改变的不是语法，而是问题的切分方式。
OCaml 类型系统：推导、多态与代数数据类型
从约束生成与统一理解 OCaml 如何推导最一般类型，再进入 let 多态、value restriction、record、variant、递归类型与穷尽模式匹配。
OCaml 函数组合：从柯里化到可读的数据管道
理解 OCaml 的自动柯里化、偏应用与参数顺序，掌握 pipeline、map、fold、bind 和闭包，并与 Kotlin 的扩展函数、Receiver、链式调用及 DSL 对照。
CHAPTER 02
抽象与类型
OCaml 模块系统：签名、抽象类型与 Functor
从编译单元与 .mli 接口出发，理解 module、signature、抽象类型、with type 和 Functor，比较它们与 Kotlin interface、泛型及依赖注入的边界。
OCaml 高级类型：开放变体、GADT 与存在类型
从 polymorphic variant 到 GADT、existential type、locally abstract type 与 extensible variant，理解类型信息如何随构造器被细化、隐藏或扩展。
OCaml 对象系统：结构子类型、继承与开放递归
理解 OCaml 的 object、class、结构化对象类型、self type、继承与开放递归，并与 Kotlin 的名义类型、interface 和 extension function 比较。
CHAPTER 03
状态与效果
CHAPTER 04
运行时与性能
CHAPTER 05