在Haskell中绑定是什么意思？

Question

我正在阅读有关同构限制的知识，它存在于绑定中。

1. 功能绑定
2. 图案绑定

但是我想知道，绑定在Haskell中是什么意思？

例如，这是值绑定吗？

n = 10

Answer 1

Haskell中的

Binding 含义与其他功能语言相同：Lisp，Scheme，ML，...。它将值绑定到名称（或名称绑定到值）。

是的，在let { n = 10 } in n + n中，n = 10是一个绑定。

相关概念是 scope 。另一个是 closure 。在Haskell中，缺少突变本身比不使用纯语言（例如Lisp，ML等）都容易。