GHC如何捕获Lambda表达式的变量环境：按值还是按引用？

GHC编译的Haskell代码里，Lambda函数的闭包是按值捕获的，这和你提到的C++场景有本质区别：

• Haskell是纯函数式语言，所有变量绑定都是不可变的。当Lambda捕获环境中的变量时，它捕获的是该变量当前绑定的具体值，而非指向变量存储位置的引用。
• 由于不可变性，捕获的值不会被后续代码修改，也不存在C++中引用捕获可能导致的悬空引用问题——不管你什么时候调用这个Lambda，它使用的都是捕获瞬间的确定值。

举个简单的示例：

main = do
    let x = 5
        foo = \() -> print x
    -- 这里重新定义同名x只是作用域遮蔽，并非修改原绑定
    let x = 10
    foo () -- 输出为5，因为Lambda捕获的是最初绑定的x值

内容的提问来源于stack exchange，提问作者Dragno