OCaml

ML家族与类型推断

OCaml（Objective Caml）是ML语言家族的主要工业级实现之一，ML最重要的贡献是Hindley-Milner类型推断：编译器能在几乎不需要类型标注的情况下推断出完整的类型信息，同时保持静态类型的安全性。这在1978年首次实现时是革命性的，Haskell、Rust、F#、Swift的类型推断都以此为基础。

OCaml的模块系统是其独特之处：functor（函数式模块）可以接受模块作为参数生成新模块，这是一种参数化抽象，比面向对象的接口/继承表达能力更强，但学习曲线也更陡。[1]

Jane Street与金融实践

Jane Street是世界上最大的量化交易公司之一，也是OCaml在工业界最重要的使用者和推动者——其数百万行交易系统代码几乎全用OCaml编写，开源了Core、Async、Incremental等大量高质量库。Jane Street持续向OCaml编译器贡献代码，是语言演进的重要力量。

OCaml 5.0（2022年发布）引入了效应处理器（Effect Handlers）和多域并行（Domains），终于突破了单核GC锁的限制，允许真正的多核并行。这是OCaml数十年来最重要的运行时更新。Meta的Flow（JavaScript类型检查工具）和Hack语言工具链也用OCaml实现，Meta是另一个重要的工业用户。