lambda calcolo domanda - calcestruzzo
-
12-10-2019 - |
Domanda
Ho il seguente
(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
Non capisco il motivo per cui è ok l'ultima trasformazione?
Non dovrebbe essere x.(y.y+1)(x+1)= y+1
? Perché egli può sbarazzarsi del y
Soluzione
(y . y + 1)
viene applicato alla sua (x + 1)
argomentazione, quindi è sostituito y
invia ((x + 1) + 1)
.
Non vedo come si arriva con x . (y . y + 1)(x + 1)= y + 1
. y
esiste solo nell'ambito della funzione interna.
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a StackOverflow