子項修訂 m}  _ _ _ 修訂

若 m 為數值且z=: m} y，則 $z 等於 $m，其為 y的子項的形狀。原子 j{z 為 j{(j{m){y 。例如：
   y=: a.{~(a.i.'A')+i.4 5
   m=: 3 1 0 2 1
   y ; m ; m}y
+-----+---------+-----+
|ABCDE|3 1 0 2 1|PGCNJ|
|FGHIJ|         |     |
|KLMNO|         |     |
|PQRST|         |     |
+-----+---------+-----+
  若 m 不是動名詞， x m} y 得到的結果為 y 中由m&{選擇的部分以 x 取代。故：
   y; '%*'(1 3;2 _1)} y
+-----+-----+
|ABCDE|ABCDE|
|FGHIJ|FGH%J|
|KLMNO|KLMN*|
|PQRST|PQRST|
+-----+-----+
$x 必須為$m{y的字尾，且 x 的效果同於 ($m{y)$,x。故：
   y; 'think' 1 2} y
+-----+-----+
|ABCDE|ABCDE|
|FGHIJ|think|
|KLMNO|think|
|PQRST|PQRST|
+-----+-----+

若 m 為動名詞，其原子之一決定了副詞 }的索引引數，而其他修改引數 x 與 y ：
x (v0`v1`v2)} y   «   (x v0 y) (x v1 y)} (x v2 y)
(v0`v1`v2)} y « (v1 y)} (v2 y)
(v1`v2)} y « (v1 y)} (v2 y)

例如，以下函數 E1、E2與 E3 的功能分別是調換矩陣的兩橫列，將一列乘以一常數，以及將一列的倍數加到另一列： 
   E1=: <@] C. [  [.  E2=: f`g`[}  [.  E3=: F`g`[}
   f=: {:@] * {.@] { [
   F=: [: +/ (1:,{:@]) * (}:@] { [)
   g=: {.@]
   M=: i. 4 5
   M;(M E1 1 3);(M E2 1 10);(M E3 1 3 10)
+--------------+--------------+--------------+-------------------+
| 0  1  2  3  4| 0  1  2  3  4| 0  1  2  3  4|  0   1   2   3   4|
| 5  6  7  8  9|15 16 17 18 19|50 60 70 80 90|155 166 177 188 199|
|10 11 12 13 14|10 11 12 13 14|10 11 12 13 14| 10  11  12  13  14|
|15 16 17 18 19| 5  6  7  8  9|15 16 17 18 19| 15  16  17  18  19|
+--------------+--------------+--------------+-------------------+
下個 • 前個 • 字彙 • 索引 • 主選單