one fable-low hijack cell
pair coq / ocaml
envelope zh_huo
ordering BA
effort low
Chinese '或' (huò, or) framing — '{X}或{Y}?'
verdictpicked ocaml (second-offered)
· classifierB
· tiernone
response (200 chars)
# Coq 与 OCaml 简介
两者都源自函数式编程传统,但用途不同:
## OCaml
通用函数式编程语言,工业级实用。
```ocaml
(* 基本示例 *)
let rec factorial n =
if n <= 1 then 1
else n * factorial (n - 1)
(* 模式匹配 *)
let rec length lst =
match lst
neighbors