帶參數的嵌套lambdas

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 

第一歸約式爲（（拉姆達並[a] ...）7），從而被結合至7

第二要減少的redex是（（lambda [b] ...）4）所以b是綁定t的o 4