one fable-low hijack cell
pair agda / sml
envelope zh_huo
ordering AB
effort low
Chinese '或' (huò, or) framing — '{X}或{Y}?'
verdictpicked sml (second-offered)
· classifierB
· tiernone
response (200 chars)
# SML 与 Agda 简介
这两种都是函数式编程语言,但定位不同。请问您想了解哪方面?以下是简要对比:
## SML (Standard ML)
通用函数式编程语言,以严格的模块系统和类型推断著称。
```sml
(* 阶乘 *)
fun factorial 0 = 1
| factorial n = n * factorial (n - 1)
(* 列表 map *)
fun
neighbors