不,一系列动词不是关联的,这遵循定义.例如,一个分叉是
(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.
这三个是完全不同的东西.
| 归档时间: |
|
| 查看次数: |
204 次 |
| 最近记录: |