SICP 1.9 solution

(define (+ a b)

  (if (= a 0)

      b

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

计算(+ 4 5)的过程为：

(+ 4 5)

(1+ (+ 3 5))

(1+ (1+ (+ 2 5)))

(1+ (1+ (1+ (+ 1 5))))

(1+ (1+ (1+ (1+ (+ 0 5)))))

(1+ (1+ (1+ (1+ 5))))

(1+ (1+ (1+ 6)))

(1+ (1+ 7))

(1+ 8)

9

 

(define (+ a b)

  (if (= a 0)

      b

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

计算(+ 4 5)的过程为：
(+ 4 5)

(+ 3 6)

(+ 2 7)

(+ 1 8)

(+ 0 9)

9

 

前者为递归计算过程，后者为迭代过程