lambda cálculo pregunta - hormigón
-
12-10-2019 - |
Pregunta
Tengo el siguiente
(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
No entiendo por qué es aceptable la última transformación?
¿No debería ser x.(y.y+1)(x+1)= y+1
? ¿Por qué puede deshacerse de la y
Solución
(y . y + 1)
se aplica a su (x + 1)
argumento, por lo que está sustituido por y
para dar ((x + 1) + 1)
.
No veo cómo llegar a x . (y . y + 1)(x + 1)= y + 1
. y
sólo existe en el ámbito de aplicación de la función interna.
Licenciado bajo: CC-BY-SA con atribución
No afiliado a StackOverflow