exec 1.9

先看第一个函数

(define (+ a b)

  (if (= a 0)

    b

    (inc (+ (dec a) b))))

以计算(+ 2 3) 为例，计算过程为：

(+ 2 3)

(inc (+ 1 3))

(inc (inc (+ 0 3)))

(inc (inc 3))

(inc 4)

5

解释器需要保存延时计算的过程，消耗的存储随着计算的进行越来越大，所以这个计算过程是递归的；

再看第二个函数：

(define (+ a b)

  (if (= a 0)

    b

    (+ (dec a) (inc b))))

还是以计算(+ 2 3）为例：

(+ 2 3 )

(+ 1 4)

(+ 0 5)

5

解释器自始自终都只需要记住两个值，消耗的存储并没有随着计算的进行变大，所以这是一个迭代过程；

顺便提一句，书上反复提醒我们分清过程的代码形式和计算过程的区别，以这题为例，两个函数定义在形式上都是递归的，因为都是自己调用了自己嘛，但是计算过程一个是递归的，另一个却是迭代的。