lambda-calculus - lambda 演算示例问题

Question

(λy.xz)c

我认为这个问题的答案是 x z。

如果正确，为什么 (λy.xz)c = xc 不正确？在这种情况下，我指的是 (λy.xz) = (λy.x)z = x。所以我先在括号里计算。

标签： lambda-calculus

Answer 1

(λy.x z) c不是问题，它是一个λ项。您指的λy.x z = (λy.x) z是括号，但没有办法移动括号，否则将意味着它们无用。

λy. x z

y表示作为参数并返回x应用于的函数z。while(λy.x) z表示以y参数为参数并返回的函数x，整个应用到z. 为什么这两件事会一样？（他们不是。）