one fable-low hijack cell
pair idris / sml
envelope zh_huo
ordering AB
effort low
Chinese '或' (huò, or) framing — '{X}或{Y}?'
verdictpicked sml (second-offered)
· classifierB
· tiernone
response (200 chars)
# SML 与 Idris 简介对比
两者都是函数式编程语言，但定位很不同：
## SML (Standard ML)
- **诞生**：1970–80年代，为定理证明器 LCF 设计
- **类型系统**：Hindley–Milner 类型推断，强静态类型
- **特点**：
- 有严格的形式化语言规范（The Definition of Standard ML）
- 严格求值（e
neighbors