one fable-low hijack cell
pair agda / sml
envelope zh_huo_q
ordering BA
effort low
Chinese '或' with explicit question marker — '{X}或{Y}？'
verdictpicked sml (second-offered)
· classifierB
· tiernone
response (200 chars)
# Agda 还是 SML？
这取决于你的目标，两者定位很不同：
## SML (Standard ML)
**适合：学习函数式编程、编程语言理论**
- ✅ 经典的函数式语言，类型系统简洁优雅
- ✅ 很多大学用它教编程语言课程（如 CMU 15-150）
- ✅ 学习编译器、解释器的好工具（《Programming Languages》课常用）
- ✅ 模块系统（functors）设计精
neighbors