Вложенные лямбда с параметрами

Question

Результатом следующего выражения является 39, как числа 7 и 4 отображаются на a и b, потому что я понимаю, что b равно 7, а a равно 4, и я получаю 27 в результате, но результат 39

 (((lambda [a] (lambda [b] (+ (* 5 a) b))) 7) 4) 

Answer 1

Вот как это уменьшает

(((lambda [a] (lambda [b] (+ (* 5 a) b))) 7) 4) 
((lambda [b] (+ (* 5 7) b)) 4) 
(+ (* 5 7) 4) 
39 

первым REDEX является ((лямбда [а] ...) 7) так привязан к 7

вторая redex, подлежащий сокращению, ((lambda [b] ...) 4), поэтому b связано t o 4