論壇

本节我们呈现一个带有绑定的语言.

首先我们给出语言的句法.

相较于前一章的语言的句法, <exp>的定义增加了两个产生式. 这两个产生式显然是对偶的, 一个引入变量绑定, 另一个则是变量引用.

从此刻起, 我们做出一个句法上的约定, 这可以免除许多微妙的麻烦, 即任何绑定结构都不应该引入与「关键词」相同的名字, 例如这里的关键词是if, let, +, -, *, =.

现在我们给出解释器, 注意它多了一个代表环境的参数. 实际上, 只有解释新增产生式的部分是有趣的.