one fable-low hijack cell
pair idris / sml
envelope zh_huo
ordering BA
effort low
Chinese '或' (huò, or) framing — '{X}或{Y}?'
verdictpicked sml (second-offered)
· classifierB
· tiernone
response (200 chars)
# Idris 与 SML 简介
这两门都是函数式编程语言,但定位不同。简要对比一下:
## Standard ML (SML)
经典的函数式语言,学术界常用,以严谨的形式化定义著称。
```sml
(* 阶乘 *)
fun factorial 0 = 1
| factorial n = n * factorial (n - 1)
(* 列表操作 *)
fun map f [] =
neighbors