В книге А.Филда и П.Харрисона "Функциональное программирование" на с. 73 есть пример вычисления функции энергичным и ленивым способами:

reduce (lambda (el, isthere) => if isthere then true else (N == el)), false, L)

Поиск числа 1 при энергичном вычислении (лямбда-выражение обозначено b):

reduce (b, false, [1, 3, 5, 7])
== b(1, b(3, b(5, b(7, false)))) (по определению функции reduce)
-> b(1, b(3, b(5, false)))
-> b(1, b(3, false))
-> b(1, false)
-> true

При ленивом вычислении:

reduce (b, false, [1, 3, 5, 7])
-> b(1, reduce(b, false, [3, 5, 7]))
-> true

Далее комментарий:

Вычисление заканчивается так быстро, поскольку для b никогда не требуется значения его второго аргумента, иначе говоря, b не является строгой относительно второго аргумента. Если значение первого аргумента оказывается тем числом, которое проверяется на принадлежность к списку, то второй аргумент попросту отбрасывается; такой случай и показан в выше приведенном примере, где выражение отброшенного аргумента выделено курсивом.

Определение reduce:

reduce(f, b, nil) <= b
reduce(f, b, x::l) <= f(x, reduce(f, b, l))

Я не могу понять почему для лямбда-выражения из первой приведенной функции не требуется значения второго аргумента. Насколько я понимаю в выражении if then else прежде всего должно вычилится подвыражение if. Как мы сразу попадаем в ветку else?

----
Александр Шумилов