是J聯想中的一列火車

Question

在編程語言J中，是一連串動詞總是聯想的嗎？如果是，有沒有證據？

Answer 1

不，一串動詞不是聯想的，而是遵循定義。例如，叉是

(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)).