Изменения
Нет описания правки
создание функции одного аргумента с заданными именем аргумента и телом функции.
Рассмотрим, например, функцию <tex>\lambda</tex>-терм <tex>\operatorname{id} = \lambda x\ .\ x</tex>. Эта функция принимает аргумент и
возвращает его неизменённым. Например,
<tex>\operatorname{id}\ 2 \equiv 2</tex>. Аналогично, <tex>\operatorname{id}\ y \equiv y</tex>.
===Приоритет операций===
* Применение левоассоциативноАппликация: <tex>x\ y\ z\ w \equiv ((x\ y)\ z)\ w</tex>
* Абстракция забирает себе всё, до чего дотянется: <tex>\lambda x\ .\ \lambda y\ .\ \lambda z\ .\ z\ y\ x \equiv \lambda x\ .\ (\lambda y\ .\ (\lambda z\ .\ ((z\ y)\ x)))</tex>
* Скобки играют привычную роль группировки действий
Наиболее известным комбинатором неподвижной точки является <tex>Y</tex>-комбинатор, введенный известным американским ученым Хаскеллом Карри как
:<tex>Y=\lambda f.(\lambda x.f(xx))(\lambda x.f(xx))</tex>
===Деление===
