one fable-low hijack cell
pair agda / sml
envelope zh_huo
ordering BA
effort low
Chinese '或' (huò, or) framing — '{X}或{Y}?'
verdictpicked sml (second-offered)
· classifierB
· tiernone
response (200 chars)
# Agda 与 SML 简介
这两门都是函数式编程语言,但定位很不同:
## SML (Standard ML)
经典的函数式编程语言,语义有严格的形式化定义,常用于教学和编译器研究。
```sml
(* 阶乘 *)
fun fact 0 = 1
| fact n = n * fact (n - 1)
(* 列表操作 *)
fun map f [] = []
| map f (
neighbors