質問
私は次のことを持っています
(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