one fable-low hijack cell
pair purescript / sml
envelope zh_huo
ordering AB
effort low
Chinese '或' (huò, or) framing — '{X}或{Y}?'
verdictpicked sml (second-offered)
· classifierB
· tiernone
response (200 chars)
# SML 与 PureScript 简介与对比
这两门都是函数式编程语言,但定位差异很大:
## Standard ML (SML)
- **诞生**:1970–80 年代,源于定理证明器 LF/ML
- **类型系统**:Hindley-Milner 类型推断的鼻祖之一
- **求值策略**:严格求值(strict)
- **特色**:强大的 **module system**(stru
neighbors