带参数的嵌套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