Jの動詞に対する配列引数の "互換性のある形状"は何ですか？

Question

私は学習の過程にあり（そして私の心が吹き飛ばされています）、そして読んでいるのはJです。私が学んできた多くの（すべて？）動詞が、彼らの議論でかなり柔軟性があることに気がつきました。私は伝統的な4 - 2をやることができます。 4 5 - 3 4、さらには3 4 5 - 1を実行しても、演算子の右辺を配列に昇格させるように見えますが、それにスカラーを与えただけです。

後者の動作は、この行でchで覆われていると仮定します。前述のテキストの2：

はしたがって、=の2つの引数は（Y = 2、互換性の形状の例のように、又は 少なくとも）、同じ形状を有していなければなりません。そうでない場合は エラーが発生します。

実際には、3 4 5 - 2 3はエラーです。 "互換性のある形状"の技術的定義は何ですか？それは "同じ形やスカラー"と同じくらい単純か、それとももっと多いのですか？辞書ページB. Verbsから

Answer 1

：

契約。フレーズでは、vの引数は1つのフレームが他の

の接頭辞でなければならないこと 意味で同意しなければならないので、次の意志の正式な定義については、すべての作業

(i. 2 3) * (i. 2 3 4)  NB. frame of left arg is prefix of the right arg 
    (i. 2) * (i. 2 3 4)  NB. frame of left arg is prefix of the right arg 
    (i. 2 3 4) * (i. 2 3)  NB. frame of right arg is prefix of the left arg 

フレームは、私はこれらの概念の徹底した報道としてthis section of J for C programmersをお勧めしますA. Nouns

辞書のページを参照してください。