one fable-low hijack cell
pair idris / sml
envelope zh_huo_q
ordering AB
effort low
Chinese '或' with explicit question marker — '{X}或{Y}？'
verdictpicked sml (second-offered)
· classifierB
· tiernone
response (200 chars)
# SML 还是 Idris？取决于你的目标
## 选 SML（Standard ML）如果你想：
- **学习函数式编程的经典基础**：SML 是 ML 家族的鼻祖之一，类型推断（Hindley-Milner）、模式匹配、模块系统都很经典
- **学编译器/PL 理论**：很多大学课程（如 CMU 15-150）和经典教材（《Programming Languages》）用它
- **欣赏强
neighbors