# Haskell 还是 Lean? 这取决于你的目标 🎯 ## 选 Haskell,如果你想: - **写实际软件** — Web 服务(Servant、Yesod)、编译器、金融系统 - **进入工业界** — 有真实的工作机会(虽然不多但存在) - **学习纯函数式编程** — 惰性求值、Monad、类型类的经典发源地 - **拥有成熟生态** — Hackage 上有大量库,工具链稳