question de calcul lambda - béton
-
12-10-2019 - |
Question
Je les
(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
Je ne comprends pas pourquoi il est ok la dernière transformation?
Ça ne devrait pas être x.(y.y+1)(x+1)= y+1
? Pourquoi peut-il se débarrasser de la y
La solution
(y . y + 1)
est appliqué à son (x + 1)
argument, il est donc remplacé par y
pour donner ((x + 1) + 1)
.
Je ne vois pas comment vous venez avec x . (y . y + 1)(x + 1)= y + 1
. y
existe seulement dans le cadre de la fonction intérieure.
Licencié sous: CC-BY-SA avec attribution
Non affilié à StackOverflow