绑定事件是什么？

Question

我正在学习Jason Hickey's Introduction to Objective Caml。

---

我有几个简单的问题：

什么是binding？

什么是occurrences？

什么是binding occurrences？

---

我问这些问题，因为这本书说：

Answer 1

我没有读过这篇文章，我只是一个谦虚的修炼者（不是理论家），但我很确定我知道这些术语的含义。

绑定是名称与值的关联。

出现是表达式中名称的单个外观。如果名称显示两次，则会出现两次。

绑定事件是斑点中名称的外观，导致它绑定到某个值。在let x = 4 in x + 2中，x的第一次出现是绑定事件，第二次出现只是一次出现。

编辑：引用文本告诉您的是，当名称显示在模式中时，模式的成功匹配会导致名称绑定到某个值。