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