先看第一个函数
(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
解释器自始自终都只需要记住两个值,消耗的存储并没有随着计算的进行变大,所以这是一个迭代过程;
顺便提一句,书上反复提醒我们分清过程的代码形式和计算过程的区别,以这题为例,两个函数定义在形式上都是递归的,因为都是自己调用了自己嘛,但是计算过程一个是递归的,另一个却是迭代的。