首先看递归版本创建的环境结构
(define (factorial n)
(if (= n 1)
1
(* n (factorial (- n 1)))))
再看迭代版本创建的环境结构
(define (factorial n)
(fact-iter 1 1 n))
(define (fact-iter product counter max-count)
(if (> counter max-count)
product
(fact-iter (* counter product)
(+ counter 1)
max-count)))