2
我有以下演算问题 - 混凝土
(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
我有以下演算问题 - 混凝土
(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
只存在于内部函数的范围内。