lisp - 解构递归过程 - SICP

Question

考虑以下定义:

   (define foo
     (lambda (x y)
        (if (= x y)
            0
            (+ x (foo (+ x 1) y)))))

什么是测试表达式？ (写出实际的表达式，而不是它的值)

我认为它只是 (if (= x y) 但麻省理工学院 6.001 在线导师不接受这个答案。

Answer 1

测试将是:

(= x y)

这是实际返回 bool 值的表达式，if 条件表达式的行为取决于它 - 如果它是 #t(或一般情况下:任何 < em>非假 值)后续 部分将被执行:0。只有当它是 #f 时，才会执行 alternative 部分:(+ x (foo (+ x 1) y))。