one fable-low hijack cell
pair idris / ocaml
envelope zh_huo
ordering AB
effort low
Chinese '或' (huò, or) framing — '{X}或{Y}?'
verdictpicked ocaml (second-offered)
· classifierB
· tiernone
response (200 chars)
# OCaml 与 Idris 简介
这两门都是函数式编程语言,但定位很不同:
## OCaml
**特点:**
- 实用主义的函数式语言,支持命令式和面向对象编程
- 强类型推断,编译速度快,运行性能优秀
- 工业界应用广泛(Jane Street、Facebook/Meta 的 Flow 和 Hack)
```ocaml
(* 示例:递归求和 *)
let rec sum lst =
neighbors