j - 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であり、最小グループは aforkです。フォークが出来ない時だけフックにします。そう

vvvvv = (vv(vvv)), 

と

vvvv= (v(vvv)).