one fable-low hijack cell
pair agda / haskell
envelope zh_huo
ordering BA
effort low
Chinese '或' (huò, or) framing — '{X}或{Y}?'
verdictpicked haskell (second-offered)
· classifierB
· tiernone
response (200 chars)
# Agda 与 Haskell 简介
两者都是函数式编程语言，但定位不同：
## Haskell
**通用函数式编程语言**，适合实际开发。
```haskell
-- 类型签名和函数定义
factorial :: Integer -> Integer
factorial 0 = 1
factorial n = n * factorial (n - 1)
-- 惰性求值的无限列表
fib
neighbors