不,一系列动词不是关联的,这遵循定义.例如,一个分叉是
(f g h) y = (f y) g (h y)
Run Code Online (Sandbox Code Playgroud)
但
(f (g h)) y = y f ((g h) y) = y f (y g (h y))
Run Code Online (Sandbox Code Playgroud)
也可以写成y f y g h y
.和
((f g) h) y = y (f g) (h y) = y f (g (h y))
Run Code Online (Sandbox Code Playgroud)
也可以写成y f g h y
.
这三个是完全不同的东西.