haskell - 在 Haskell 中使用 'let' 的功能纯度

Question

当我正在学习 Haskell 时，我知道它是一种纯粹的函数式语言。我无法理解为什么 let - 陈述不违反纯度。

例如(在 ghci 中):

Prelude> let e = exp 1
Prelude> e
2.718281828459045
Prelude> let e = 2
Prelude> e
2

不是我的第二个 let声明产生副作用？或者是第二个 let声明一个新的关闭？

Answer 1

您的第二个 let为 e 创建一个新绑定(bind)阴影现有的变量。它不修改 e .您可以通过以下方式轻松检查:

Prelude> let e = 1
Prelude> let f () = "e is now " ++ show e
Prelude> f ()
"e is now 1"
Prelude> let e = 2
Prelude> e
2
Prelude> f ()
"e is now 1"
Prelude>