2012-12-11 64 views

回答

3

我还没有读过这篇文字,我只是一个卑微的医生(而不是理论家),但我敢肯定我知道这些术语的含义。

绑定是名称与值的关联。

事件是表达式中名称的单一外观。如果名称显示两次,则会出现两次。

绑定发生是一个名称出现在导致它绑定到某个值的地方。在let x = 4 in x + 2x的第一次出现是一个绑定事件,第二次只是一个事件。

编辑:什么引用的文字告诉你的是,当一个名字在图案显示出来,然后一个成功的模式的匹配导致被绑定到一个值的名称。

+0

我编辑了这个问题,并给出了关于此的文字。请看一看。 –

+1

在'let x = 4 in x + 2'中,第一个'x' *是一个模式。你可以在'let'中使用任何你想要的模式。例如'let x,y = 3,x in x + y'。 (请参阅编辑我的答案。) –

+0

啊,好吧,现在明白了。所以在'let x,y = 3,5 in x + y'中,'x,y = 3,5'是绑定事件,因为它们绑定了一些值。 –