OCaml
OCaml是一种通用的高级编程语言，是ML语言家族的重要成员。它融合了函数式、命令式和面向对象三种编程范式，具备强静态类型系统和类型推断能力，能在编译期捕获多类错误。OCaml以高效的原生代码编译器和表达力强的模块系统著称，广泛应用于编译器开发、形式化验证、金融系统及学术研究领域。
核心事实
时间轴 (近 90 天)
OCaml 是函数式编程的代表语言之一，拥有强大的类型系统和模式匹配能力。
Pyrefly是Meta将原本用OCaml编写的旧类型检查器Pyre用Rust重写而成的Python静态类型检查器
Jane Street几乎全部核心交易系统都用OCaml编写
OCaml是一门融合了函数式、命令式和面向对象特性的多范式编程语言
Meta的Flow是一个JavaScript的静态类型检查器，用OCaml实现
Coq证明助手用OCaml编写
OCaml采用Hindley-Milner类型推导算法，能在不需要显式标注类型的情况下自动推断出程序中所有表达式的最一般类型
OCaml属于ML家族，「ML」最初是「Meta Language」的缩写，由Robin Milner在1970年代为定理证明系统LCF设计
在OCaml中if-else不是控制流语句而是有返回值的表达式
OCaml的模式匹配可以深度解构嵌套数据类型，且编译器会检查匹配是否穷尽
还有 8 条时间轴事件
全部知识事实 (20)
Jane Street整个公司的技术栈建立在OCaml编程语言之上
65%待验证Hack编程语言本身是用OCaml实现的
85%待验证Jane Street 以其技术驱动的交易策略和对函数式编程语言 OCaml 的深度应用而闻名
60%待验证Jane Street内部的OCaml代码量很可能超过了全世界其他地方OCaml代码的总和
60%待验证Jane Street从2003年前后开始大规模采用OCaml
60%待验证OCaml 是函数式编程的代表语言之一，拥有强大的类型系统和模式匹配能力。
50%待验证Pyrefly是Meta将原本用OCaml编写的旧类型检查器Pyre用Rust重写而成的Python静态类型检查器
50%待验证在OCaml中if-else不是控制流语句而是有返回值的表达式
50%待验证OCaml采用Hindley-Milner类型推导算法，能在不需要显式标注类型的情况下自动推断出程序中所有表达式的最一般类型
50%待验证OCaml属于ML家族，「ML」最初是「Meta Language」的缩写，由Robin Milner在1970年代为定理证明系统LCF设计
50%待验证OCaml的模式匹配可以深度解构嵌套数据类型，且编译器会检查匹配是否穷尽
50%待验证OCaml的前身Caml诞生于法国的INRIA研究机构
50%待验证OCaml是一门融合了函数式、命令式和面向对象特性的多范式编程语言
50%待验证Jane Street几乎全部核心交易系统都用OCaml编写
50%待验证Meta的Flow是一个JavaScript的静态类型检查器，用OCaml实现
50%待验证Coq证明助手用OCaml编写
50%待验证OCaml 是一种兼具函数式、命令式和面向对象特性的静态类型语言，由法国 INRIA 研究院开发
50%待验证Jane Street 为 OCaml 生态贡献了大量开源基础设施，包括 Core、Async、Incremental 等项目
50%待验证Jane Street是一家总部位于纽约的全球顶尖量化交易公司，成立于2000年，深度应用函数式编程语言OCaml
50%待验证使用Crystal的公司投入资源与Jane Street投入OCaml的量级完全不在一个层面
50%