lambda - 在方案中嵌套 Lambda？

Question

Evaluate (((lambda(x y) (lambda (x) (* x y))) 5 6) 10) in Scheme.

我不知道实际上该怎么做!

((lambda (x y) (+ x x y)) 3 5)

相当简单。这里x=3，y=5。

但是这里的主体是:(lambda (x) (* x y))) 5 6) 参数是10？

所以我们分开评价？如 (lambda (x) (* x y))) 5 6) = (* 5 y) 然后 (((lambda(x y) (lambda (x) (* x y)) )) 5 6) 10) = (((lambda (x y) (* 5 y) 10))

但是如何评估呢？

Answer 1

如果您重命名内部 lambda 中的参数，会更容易:

(((lambda (x y) (lambda (z) (* z y))) 5 6) 10)

外部 lambda 应用于 5 和 6:

((lambda (x y) (lambda (z) (* z y))) 5 6)

计算结果为

(lambda (z) (* z 6))

因为 y 绑定(bind)到 6。
请注意，外部 lambda 中的 x(绑定(bind)到 5)从未被使用过。

然后应用此函数

((lambda (z) (* z 6)) 10)

产生60。