one fable-low hijack cell
pair agda / haskell
envelope zh_huo
ordering AB
effort low
Chinese '或' (huò, or) framing — '{X}或{Y}?'
verdictpicked haskell (second-offered)
· classifierB
· tiernone
response (200 chars)
你好！你想了解 Haskell 还是 Agda 的什么内容呢？我先简单对比一下这两门语言：
## Haskell
- **定位**：通用的纯函数式编程语言
- **类型系统**：强静态类型，Hindley-Milner 类型推断 + 各种扩展（GADTs、Type Families 等）
- **特点**：惰性求值、Monad、类型类（type classes）
- **用途**：实际工程开发（
neighbors