one fable-low hijack cell
pair coq / haskell
envelope zh_huo
ordering AB
effort low
Chinese '或' (huò, or) framing — '{X}或{Y}?'
verdictpicked haskell (second-offered)
· classifierB
· tiernone
response (200 chars)
# Haskell 与 Coq 简介
两者都是函数式编程领域的重要语言，但定位不同：
## Haskell —— 通用函数式编程语言
**特点：**
- 纯函数式、惰性求值
- 强大的类型系统（类型类、高阶类型）
- 适合实际软件开发
```haskell
-- 快速排序示例
quicksort :: Ord a => [a] -> [a]
quicksort [] = []
qu
neighbors