sicp 3.9题解答

    引入了赋值之后，代换模型失效，3.2小节引入了环境模型。3.9题用于考察对环境模型的理解。递归版本的(factorial 6)的环境结构如下图：
   
    blogjava不允许太长的图片，省略了n=3,2,1的三个frame，这些frame的关联环境都是全局环境。
    再看看迭代版本的(factorial 6)的环境结构，同样省去了部分迭代过程，当counter=7的时候迭代停止：