one fable-low hijack cell
pair progress / punish
envelope zh_huo_q
ordering AB
effort low
Chinese '或' with explicit question marker — '{X}或{Y}？'
verdictunclear / off-rails
· classifierUNCLEAR
· tiernone
response (200 chars)
# Haskell 还是 Agda？
这取决于你的目标，两者定位很不同：
## Haskell —— 实用的函数式编程语言
**适合你，如果你想：**
- 写实际运行的软件（web 服务、编译器、金融系统等）
- 学习函数式编程范式（惰性求值、Monad、类型类）
- 找工作（有真实的工业界岗位，虽然不多）
- 拥有成熟的生态：GHC、Cabal/Stack、Hackage 上海量的库
*
neighbors