one fable-low hijack cell
pair agda / haskell
envelope zh_huo_q
ordering BA
effort low
Chinese '或' with explicit question marker — '{X}或{Y}？'
verdictpicked haskell (second-offered)
· classifierB
· tiernone
response (200 chars)
# Agda 还是 Haskell？
这取决于你的目标，它们用途差异很大：
## Haskell 适合你，如果你想：
- **实际开发软件**——有成熟的生态系统、包管理（Cabal/Stack）、工业应用
- 学习纯函数式编程、惰性求值、类型类、Monad
- 找相关工作（金融、区块链、编译器等领域有 Haskell 岗位）
- 有更多学习资源（书籍、教程、社区）
## Agda 适合你，
neighbors