解构递归过程 - SICP

Question

考虑以下定义：

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

什么是测试表达式？ （写实际的表达式，而不是它的值）

我认为这只是 (if (= x y) 但 MIT 6.001 On Line Tutor 不接受该答案。

Answer 1

测试将是：

(= x y)

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