【发布时间】：2012-12-12 06:27:04
【问题描述】：
我正在学习Jason Hickey's Introduction to Objective Caml。
我有几个简单的问题：
什么是binding？
什么是occurrences？
什么是binding occurrences？
我问这些问题是因为书上说：
【问题讨论】：
标签： functional-programming ocaml
【发布时间】：2012-12-12 06:27:04
【问题描述】：
我没有读过这篇文章，只是一个谦虚的实践者（不是理论家），但我很确定我知道这些术语的含义。
绑定是名称与值的关联。
出现是名称在表达式中的一次出现。如果名称出现两次，则出现两次。
绑定事件是名称在某个位置的出现，导致它被绑定到一个值。在let x = 4 in x + 2 中，x 第一次出现是绑定出现，第二次只是出现。
编辑：引用文本告诉您的是，当名称出现在模式中时，模式的成功匹配会导致名称绑定到一个值。
【讨论】：
-
我编辑了这个问题并给出了关于这个的文字。请看一看。
-
在
let x = 4 in x + 2中，第一个x是模式。您可以在let中使用您想要的任何模式。例如let x, y = 3, 5 in x + y。 （请参阅我的答案的编辑。） -
啊，好的，现在明白了。所以在
let x,y=3,5 in x+y中，x,y=3,5是绑定事件，因为它们绑定了一些值。 -
第二个是not“只是一个事件”，而是一个绑定事件。