лямбда -исчисление вопрос - бетон
-
12-10-2019 - |
Вопрос
У меня есть следующее
(f.x.f(f x))(y.y+1) = x.(y.y+1)((y.y+1) x)
= x.(y.y+1)(x+1)
= x.x+1+1
Я не понимаю, почему все в порядке последней трансформации? Разве это не должно быть x.(y.y+1)(x+1)= y+1
? Почему он может избавиться от y
Решение
(y . y + 1)
применяется к своему аргументу (x + 1)
, так что это заменяет y
давать ((x + 1) + 1)
.
Я не вижу, как вы придумали x . (y . y + 1)(x + 1)= y + 1
. y
существует только в сфере внутренней функции.
Не связан с StackOverflow