Имам проблеми с разбирането на приоритета на операторите на ламбда смятане.
Например следния код:
lambda x.x z lambda y.x y
ще бъде:
lambda x. (x (z lambda y. x y))
or
lambda x. ((x z) (lambda y. x y))
?
Още по-сложни примери:
(lambda x.x z) lambda y.w lambda w.w x y z
къде в горния пример отиват скобите?
Знам, че ламбда приложението е ляво асоциативно, но дали ламбда стойностите имат по-висок приоритет пред приложенията?