Обсуждение:Лямбда-исчисление — различия между версиями
(Новая страница: «-Применение левоассоциативно: x\ y\ z\ w \equiv ((x\ y)\ z)\ w -Аппликация забирает себе всё, до чего д...») |
|||
| Строка 1: | Строка 1: | ||
-Применение левоассоциативно: x\ y\ z\ w \equiv ((x\ y)\ z)\ w | -Применение левоассоциативно: x\ y\ z\ w \equiv ((x\ y)\ z)\ w | ||
| + | |||
-Аппликация забирает себе всё, до чего дотянется: \lambda x\ .\ \lambda y\ .\ \lambda z\ .\ z\ y\ x \equiv \lambda x\ .\ (\lambda y\ .\ (\lambda z\ .\ ((z\ y)\ x))) | -Аппликация забирает себе всё, до чего дотянется: \lambda x\ .\ \lambda y\ .\ \lambda z\ .\ z\ y\ x \equiv \lambda x\ .\ (\lambda y\ .\ (\lambda z\ .\ ((z\ y)\ x))) | ||
Но ведь аппликация и есть применение, полагаю, во втором пункте речь об абстракции? | Но ведь аппликация и есть применение, полагаю, во втором пункте речь об абстракции? | ||
Текущая версия на 15:13, 18 декабря 2014
-Применение левоассоциативно: x\ y\ z\ w \equiv ((x\ y)\ z)\ w
-Аппликация забирает себе всё, до чего дотянется: \lambda x\ .\ \lambda y\ .\ \lambda z\ .\ z\ y\ x \equiv \lambda x\ .\ (\lambda y\ .\ (\lambda z\ .\ ((z\ y)\ x)))
Но ведь аппликация и есть применение, полагаю, во втором пункте речь об абстракции?
