A. 名詞
名詞以三種獨立方式分類:數字或文字、開啟或封裝以及各類秩的陣列。任何陣列的原子必然屬於某種類型:數字、文字或封裝。陣列的秩為
0、1與2稱為原子、條列與表格,以數學名詞,純量、向量與矩陣。數字與文字之表達方式如
Part I 所述。
陣列. 單一物件如 2.3
或 _2.3j5 或 'A' 或 '+'
被稱為原子。逗號動詞串連其引數形成一條列,其形狀 (以動詞 $得之)
等於合併之原子個數。例如:
$ date=: 1,7,7,6 word=: 's','a','w'
4
|. date |. word
6 7 7 1 was
前述動詞 |. 稱為逆轉。片語 s$b 由條列 b產生一個形狀為 s 的陣列。例如:
(3,4) $ date,1,8,6,7,1,9,1,7
1 7 7 6
1 8 6 7
1 9 1 7
table=: 2 3$ word,'bat'
table $table
saw 2 3
bat
一名詞形狀的原子個數稱之為其秩。形狀的位置稱之為陣列的軸,而各軸可以指標 0, 1,
2等來稱呼。
例如,table的軸 0長度為2,軸
1長度為 3。
一陣列 b 的最後第 k 軸決定了 秩-k框格 或 b
的 k-框格。其餘的形狀向量稱之為 b
的秩 k 框格的框架; 若 $c 為 2 3 4 5,則 c 有秩2框格的框架 2 3,
0-框格 (原子)的框架 2 3 4 5 ,以及4-框格的空框架
。若:
] b=:2 3 4 $ 'abcdefghijklmnopqrstuvwx'
abcd
efgh
ijkl
mnop
qrst
uvwx
則條列 abcd 為 b 的一個 1-框格,而每個字元都為 0-框格.
若 b
的個一框格,其秩比 b
少1,稱之為 b 的子項;原子只有一個子項,即其本身。例如,動詞來自
(記作 {)由其右引數選取子項,如:
0{b 1{b 0{0{b
abcd mnop abcd
efgh qrst
ijkl uvwx
2 1{0{b 1{2{0{b 0{3
ijkl j 3
efgh
除此之外, 動詞分級(記作 /:) 提供索引給 { 使其各項目依「字典式」順序。因此:
g=: /: n=: 4 3$3 1 4 2 7 9 3 2 0
n g g{n
3 1 4 1 0 3 2 7 9
2 7 9 3 1 4
3 2 0 3 1 4
3 1 4 3 2 0
負值,如 _2-框格與 _1-框格(一子項),也可用來稱呼框格。例如,條列 abcd 可稱作 b
的一個
_2-框格或一個 1-框格。
開啟與封裝。 目前討論到的名詞稱之為開啟,與由 動詞封裝(表作 <
)產生的封裝名詞不同。封裝的結果為一單原子,且封裝名詞顯示時以框封裝。封裝功能讓人可以視任何陣列(如代表單字的文字列)
為單一個體,如原子。故:
words=:(<'I'),(<'was'),(<'it')
letters=: 'I was it'
$words $letters
3 8
|. words |. letters
+--+---+-+ ti saw I
|it|was|I|
+--+---+-+
2 3$words,|.words
+--+---+--+
|I |was|it|
+--+---+--+
|it|was|I |
+--+---+--+
下個 前個
字彙
索引
主選單