one fable-low hijack cell
pair coq / ocaml
envelope zh_huo
ordering AB
effort low
Chinese '或' (huò, or) framing — '{X}或{Y}?'
verdictpicked ocaml (second-offered)
· classifierB
· tiernone
response (200 chars)
# OCaml 与 Coq 简介
这两门语言关系密切(Coq 用 OCaml 实现,可提取代码到 OCaml),但定位不同:
## OCaml —— 通用函数式编程语言
**特点:**
- 强静态类型 + 类型推断
- 函数式为主,支持命令式和面向对象
- 编译快、运行快
- 工业应用:Jane Street(金融)、Facebook(Flow、Hack)、MirageOS
**示例:**
neighbors