Обсуждение:Лямбда-исчисление

2014-12-18T12:13:20Z

185.40.128.4:

-Применение левоассоциативно: 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)))

Но ведь аппликация и есть применение, полагаю, во втором пункте речь об абстракции?

Обсуждение:Лямбда-исчисление

2014-12-18T12:13:03Z

185.40.128.4: Новая страница: «-Применение левоассоциативно: 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)))

Но ведь аппликация и есть применение, полагаю, во втором пункте речь об абстракции?

Викиконспекты - Вклад участника [ru]

Обсуждение:Лямбда-исчисление

Обсуждение:Лямбда-исчисление