Разбирая рекурсивный процесс - SICP

Question

Рассмотрим следующее определение:

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

Что такое тестовое выражение? (Написать фактическое выражение, а не его значение)

Я думаю, это просто (если (= ху), но MIT 6,001 On Line самостоятельно не принимает этот ответ

Answer 1

Тест будет:.

(= x y) 

это выражение, которое фактически возвращает логическое значение, а поведение условного выражения if зависит от него - если это #t (или вообще: любой без ложного значения) последующего части будет выполняется: 0. Только если это #fвариант часть будет выполнена: (+ x (foo (+ x 1) y)).