Пример лямбда-исчисления

Question

(λy.xz) c

Я думаю, что ответ на эту проблему будет x z.

Если это правильно, почему (λy.xz) c = x c неверно? В этом случае я имею в виду (λy.xz) = (λy.x) z = x. Поэтому я сначала вычисляю это в скобках.

Answer 1

(λy.x z) c это не проблема, это λ-член. Вы ссылаетесь на λy.x z = (λy.x) z, но нет способа переместить скобки, в противном случае это будет означать, что они бесполезны.

λy. x z

Означает функцию, которая принимает y в качестве аргумента и возвращает x, примененную к z. В то время как (λy.x) z означает функцию, которая принимает y в качестве аргумента и возвращает x, все это применимо к z. Почему эти две вещи будут одинаковыми? (Это не так.)