Haskell

纯函数式与惰性求值

Haskell的「纯」是彻底的：函数没有副作用，给定相同输入永远返回相同输出。副作用（IO、状态、异常）通过Monad封装，IO ()类型标记了一个会产生副作用的计算，但这个计算本身仍是纯值，只有在程序入口main处才真正执行。

惰性求值（Lazy Evaluation）意味着表达式只在需要时才计算。这让定义无限列表成为自然的编程方式：[1..]是从1开始的无限整数列表，take 10 [1..]才触发计算。惰性可以带来优雅的抽象，但也让性能分析变得困难（空间泄漏是常见问题）。[1]

工业应用与影响力

Haskell的工业应用最著名的例子是Facebook的Sigma反滥用系统（用Haskell处理数百亿规则评估），以及GitHub收购的Semantic代码分析工具。但整体来说，Haskell的生产使用不广泛，编译速度慢、运行时内存占用大、人才稀缺是现实障碍。

Haskell的价值更多体现在思想输出上：Rust的trait、生命周期系统受Haskell影响；Scala的cats/scalaz库直接移植了Haskell概念；Elm的架构是React/Redux设计的直接来源。学Haskell被许多人认为是「改变了思考编程的方式」的经历，即使最终没有在工作中使用它。