functional-programming - 什么是绑定(bind)事件？

Question

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

我有几个简单的问题:

什么是binding ?

什么是occurrences ?

什么是binding occurrences ?

我问这些问题是因为这本书说:

Answer 1

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

绑定(bind)是名称与值的关联。

出现是名称在表达式中的一次出现。如果名称出现两次，则出现两次。

绑定(bind)事件是名称在某个位置的出现，导致它绑定(bind)到一个值。在 let x = 4 in x + 2第一次出现x是一个绑定(bind)事件，第二个只是一个事件。

编辑 : 引用文本告诉您的是，当名称出现在模式中时，模式的成功匹配会导致名称绑定(bind)到一个值。