Какая разница между двумя выражениями в схеме?

Question

я определяю новую версию if:

(define (new-if predicate then-clause else-clause) 
    (cond (predicate then-clause) 
    (else else-clause))) 

Затем я использую его в следующем виде:

(define (sqrt-iter guess x) 
    (new-if (good-enough? guess x) 
    guess 
    (sqrt-iter (improve guess x) 
      x))) 

Я понимаю, что с else-clause передается new-if в sqrt-iter процедуре всегда оценивается, sqrt-iter никогда не перестает делать рекурсивные призывы к себе.

Но я не понимаю, почему мы не останавливаемся, когда good-enough? возвращается true =>guess

Answer 1

Ваш new-if процедура. Аргументы процедуры оцениваются перед передачей в процедуру. Поэтому ваш рекурсивный вызов sqrt-iter будет полностью оценен до вызова new-if. Как прокомментировал Роберт Харви, это приводит к бесконечной рекурсии.

Ваш new-if должен быть макросом для правильной работы. Что-то вроде:

(define-syntax new-if 
    (syntax-rules() 
    ((_ predicate then-clause else-clause) 
    (cond (predicate then-clause) 
      (else else-clause)))))