OCaml 教程
OCaml 是一门兼具函数式、命令式与面向对象特性的工业级编程语言，拥有强大的静态类型系统和出色的模式匹配能力。本教程共 50 章，从零基础到项目实战，带你全面掌握 OCaml。
🟢 基础入门（第 1-10 章）
| 章节 |
标题 |
难度 |
| 01 |
OCaml 简介与开发环境搭建 |
🟢 |
| 02 |
基本类型与表达式 |
🟢 |
| 03 |
函数定义与调用 |
🟢 |
| 04 |
模式匹配 |
🟢 |
| 05 |
递归函数 |
🟢 |
| 06 |
列表操作 |
🟢 |
| 07 |
元组与记录类型 |
🟢 |
| 08 |
变体类型（Variant Types） |
🟢 |
| 09 |
引用与可变性 |
🟢 |
| 10 |
字符串与字符处理 |
🟢 |
🟡 进阶特性（第 11-20 章）
| 章节 |
标题 |
难度 |
| 11 |
模块系统基础 |
🟡 |
| 12 |
签名与抽象类型 |
🟡 |
| 13 |
函子（Functors） |
🟡 |
| 14 |
高阶函数 |
🟡 |
| 15 |
闭包与柯里化 |
🟡 |
| 16 |
异常处理 |
🟡 |
| 17 |
输入输出基础 |
🟡 |
| 18 |
文件操作 |
🟡 |
| 19 |
哈希表与数组 |
🟡 |
| 20 |
格式化输出 Format 模块 |
🟡 |
🔴 高级类型系统（第 21-30 章）
| 章节 |
标题 |
难度 |
| 21 |
多态与受限多态 |
🔴 |
| 22 |
GADTs（广义代数数据类型） |
🔴 |
| 23 |
对象与类（OOP） |
🔴 |
| 24 |
多态变体 |
🔴 |
| 25 |
高阶类型与类型构造器 |
🔴 |
| 26 |
一等模块（First-class Modules） |
🔴 |
| 27 |
类型推导深入 |
🔴 |
| 28 |
存在类型 |
🔴 |
| 29 |
依赖记录与对象 |
🔴 |
| 30 |
PPX 预处理器与扩展 |
🔴 |
🟡 工程与系统编程（第 31-38 章）
| 章节 |
标题 |
难度 |
| 31 |
opam 包管理器 |
🟡 |
| 32 |
Dune 构建系统 |
🟡 |
| 33 |
OCaml 编译器内部 |
🔴 |
| 34 |
内存模型与 GC |
🔴 |
| 35 |
C 语言互操作（FFI/ctypes） |
🔴 |
| 36 |
并发编程 Lwt/Async |
🔴 |
| 37 |
Effect Handlers（OCaml 5） |
🔴 |
| 38 |
多核并行 Domains（OCaml 5） |
🔴 |
🔴 项目实战（第 39-50 章）
| 章节 |
标题 |
难度 |
| 39 |
解析器组合子 |
🔴 |
| 40 |
编写一个解释器 |
🔴 |
| 41 |
Web 开发（Dream/Opium） |
🟡 |
| 42 |
CLI 工具开发 |
🟡 |
| 43 |
数据序列化（JSON/Protobuf） |
🟡 |
| 44 |
数据库操作（Caqti） |
🟡 |
| 45 |
测试框架 Alcotest/OUnit |
🟡 |
| 46 |
性能优化与 Benchmark |
🔴 |
| 47 |
分布式系统基础 |
🔴 |
| 48 |
形式验证与属性测试 |
🔴 |
| 49 |
编译器前端实践 |
🔴 |
| 50 |
完整项目：构建一个小型数据库 |
🔴 |
学习路线建议
第一阶段：基础（1-10） → 掌握 OCaml 语法核心
第二阶段：进阶（11-20） → 熟悉模块系统和常用工具
第三阶段：类型（21-30） → 深入理解 OCaml 类型系统
第四阶段：工程（31-38） → 掌握工具链和运行时
第五阶段：实战（39-50） → 独立完成完整项目
参考资源