SICP_3.9-3.11

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

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

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

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

Yosoro
原文地址:https://www.cnblogs.com/tclan126/p/6544413.html