3

在编程语言 J 中,一系列动词总是关联的吗?如果是,有证据吗?

4

2 回答 2

5

不,一系列动词不是关联的,这遵循定义。例如,叉子是

(f g h) y = (f y) g (h y)

(f (g h)) y = y f ((g h) y) = y f (y g (h y))

也可以写成y f y g h y。和

((f g) h) y = y (f g) (h y) = y f (g (h y))

也可以写成y f g h y

这三个是完全不同的东西。

于 2012-12-19T00:09:17.583 回答
1

在 J 中训练,right associative最小组是 a fork。只有当它不能做叉子时,它才会做一个钩子。所以

vvvvv = (vv(vvv)), 

vvvv= (v(vvv)).
于 2012-12-19T15:20:05.440 回答