# Haskell vs Elixir 两者都是优秀的函数式语言,但定位很不同。简单对比一下: ## Haskell **特点:** - 纯函数式、静态强类型、惰性求值 - 类型系统极其强大(类型类、GADT、依赖类型扩展) - 编译期能捕获大量错误 **适合场景:** - 编译器、解析器、形式化验证 - 金融系统(高正确性要求) - 喜欢深入研究类型理论和抽象 ```haskell -