# Haskell 或 Idris? 取决于你的目标: ## 选 Haskell 如果你想要: - **实际工作/生产环境** — 有成熟的生态系统(Stack、Cabal、大量库) - **就业机会** — 金融、区块链等行业有真实职位 - **学习函数式编程** — 资料丰富,社区活跃 - **性能** — GHC 是高度优化的编译器 ## 选 Idris 如果你想要: - **依赖