这三题主要是对以前的一些过程的分析，把他们放到了环境模型中来考虑

 

从这三题中我觉得所要理解的就是：环境对象就是一个序对，其代码部分就是由参数和一个过程体组成，其环境部分就是一个指向产生这个lambda

表达式的环境的指针，并对该环境中的一个符号进行约束。每一次对这个lambda表达式求值，都会产生一个新的环境，在该环境中，形式

参数被约束在一个框架中，并且过程体在这个新环境中求值。