Аргументы в лямбда-выражениях

Question

В книге я обнаружил следующее лямбда-выражение

(λabc.cba)zz(λwv.w)

Как мне следует интерпретировать аргументы (λabc.cba)?Есть два аргумента

(zz)(λwv.w)

или три аргумента

(z)(z)(λwv.w)

Я подозреваю три аргумента, поскольку обычно в математике для обозначения переменной используется одна буква (в отличие от программирования).

Answer 1

Есть два аргумента или три аргумента?

Три аргумента

Если явно не добавить скобки к zzкак (zz), приложение связывается слева, как показано ниже:

( ( (λabc.cba) z) z) (λwv.w)

Это эквивалентно принятию трех аргументов.