эмм

ща попробую вспомнить

я подозреваю, что в if если условие ложно, то if-clause не вычисляется вообще. А в cond вычисляется

Ну я так понмаю, что да. Но почему в учебнике-то об этом не сказано? Мб я в глаза долблюсь, но вроде внимательно пересмотрел всё с примечаниями — не вижу объяснения. Либо, есть ещё что-то. хз короче. Может, кто-то точно знает

мм, нет, я неправ

Conditional expressions are evaluated as follows. The predicate <p1> is evaluated first. If its value is false, then <p2> is evaluated. If <p2>'s value is also false, then <p3> is evaluated. This process continues until a predicate is found whose value is true, in which case the interpreter returns the value of the corresponding consequent expression <e> of the clause as the value of the conditional expression. If none of the <p>'s is found to be true, the value of the cond is undefined.

а ошибка-то не в этом

дело не в разнице cond и if

дело в том, что у обоих есть "вычислять только если истина"

а у нас тут new-if, которое таким волшебным свойством не обладает

для вызова new-if нужно вычислять и предикат, и успешное условие, и неуспешное. Чтобы отдать в cond, откуда вернется нужное

Если ты про этот new-if из задания, то перед тем, как передать все в cond все вычислиться, так как порядок вычисленич

а вот если new-if определить как макрос, который раскроется в cond, то все ок

либо можно квотировать аргументы

а там внутри эвалить

понял, спасибо

Я правильно понимаю, что интерпретатор даже не дойдет до подстановки аргументов в improve и average, потому что еще до этого зациклится на вызове sqrt-iter через new-if?

ну чтобы вызвать new-if ему надо вычислить три вещи
- good-enough (не проблема)
- guess (не проблема)
- sqrt-iter (рекурсия)

Прежде чем он пойдет внутрь sqrt-iter, он вычислит improve

так что improve и average будут вычислены