是J联合列车

Question

在编程语言J中，是否有一系列动词始终关联？如果是，是否有任何证据？

Answer 1

不，一系列动词不是关联的，这遵循定义。例如，fork是

(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。

这三者完全不同。

Answer 2

J中的列车为right associative，最小值为fork。只有当它不能制作一个叉子时，它才会成为一个钩子。所以

vvvvv = (vv(vvv)), 

和

vvvv= (v(vvv)).