最近在看 MIT 公开课-计算机程序的构造和解释，即使你像我一样根本没学过 lisp 也能看懂下面这段代码，这段代码展示了怎么实现加法运算，这种我们几乎从来不会去想为什么的问题，这几行简单的代码告诉我们如何计算出 3 + 4 的值
由 皮亚诺 算术定义的求 x 和 y 之和的过程
- ; Define a [+] processor
- (define (+ x y)
- (if (= x 0)
- y
- (+ (-1+x) (1+y))))
- ; x = 3, y = 4
- (+ 3 4)
- (if (= 3 0) 4 (+ (-1+3) (1+4)))
- (+ (-1+3) (1+4))
- (+ 2 5)
- (if (= 2 0) 5 (+ (-1+2) (1+5)))
- (+ (-1+2) (1+5))
- (+ 1 6)
- (if (= 1 0) 6 (+ (-1+1) (1+6)))
- (+ (-1+1) (1+6))
- (+ 0 7)
- (if (= 0 0) 7 (-1+0) (1+7))
- 7
