10.3.1.5 Let 表达式

Let表达式定义了新变量。Let表达式计算的结构如图10.12 所示。

图10.12 Let表达式的领域模型

LetExpEval

Let表达式计算是对一个定义了具有初始值的新变量的Let表达式的计算。Let表达式计算改变了 in 表达式的计算环境。