User:Lilin3035/APL语法与符号

维基百科,自由的百科全书

编程语言APL的独特之处在于它的符号,而不是语法:它的原语由符号而不是单词表示。这些符号最初是作为描述算法的数学符号而设计的。[1]APL程序员在讨论函数和运算符时通常会指定非正式名称(例如,乘积代表 ×/),但该语言提供的核心函数和运算符由非ASCII的符号表示。


一元函数和二元函数[编辑]

大多数符号表示函数运算符一元函数会将他右侧的所有元素的求值结果作为参数。(通过括号调整顺序)二元函数除此之外还将左侧的第一个数据当作参数。许多符号即是一元函数也是二元函数,只通过用途来进行区分。例如 ⌊3.2 得到 3,取小于参数的最大整数,而 3⌊2 得到 2,取两个参数中较小的参数。

函数和运算符[编辑]

APL像亥维赛的方式一样使用运算符作为函数的调节器,而不像其他编程语言中使用的对数据进行操作的相同运算,参见[關係運算子|[关系运算符]]和算子。 //其他编程语言有时也会交换“术语”与函数的用法。然而,相关的术语在APL中使用的更确切。.[2][3][4][5][6]APL早期定义符号对其分类化分得非常具体。[7]例如,运算符reduce由正斜杠表示,并通过插入其函数操作数来沿一个轴缩减数组。reduce的一个示例:

      ×/2 3 4
24
<< 在APL中等价的结果 >>
<< Reduce 运算符 / 用在左边
      2×3×4
24

在上述情况下,reduce运算符调节了乘法函数。表达式×/2 3 4通过乘法缩减了一个数组来计算标量(仅1个元素)的结果。上面的情况是简化的,想象一下,相乘(加、减或除)不仅仅是几个数字加在一起(在向量中,×/返回其所有元素的乘积。)


      1 0 1\45 67
45 0 67
<< APL中相反的结果 >>
<< Expand二元函数\应用在左侧
Replicate二元函数/应用于右侧>>
      1 0 1/45 0 67
45 67

上面的二元函数示例[左右示例](使用相同的/符号,右侧示例)演示了布尔值(0s和1s)如何用作 \ expand/replicate 函数 的左参数以产生完全相反的结果。在左侧,2元素向量{45 67}是expanded,其中出现布尔值0导致3元素 向量{45 0 67}——注意APL如何将0插入向量中。相反,在右侧——发生完全相反的情况,其中3元素的向量变成了2元素的;布尔值0s使用二元函数/ slash删除了向量的项。APL符号还使用数字以外的数据类型对项目的列表(向量)进行操作,例如字符串的2元素向量{"Apples" "Oranges"}可以替换掉上述示例中的数值向量{45 67}。

语法规则[编辑]

在APL中,函数或运算符没有优先级。APL不遵循其他编程语言通常的运算符优先级;例如,×并没有比+更“紧密地”绑定它的操作数。APL定义了作用域的概念,而不是运算符优先级。

函数作用域决定了它的参数。函数有长的右作用域:也就是说,它们将所有右侧的所有参数都作为右参数。二元函数具有短的左作用域:它将其左侧的第一条数据作为其左参数。例如,(下方左侧的是APL用户会话源代码,缩进的是用户输入,非缩进的是APL解释器返回结果):


运算符可能具有函数或数据操作数,并计算为二元或一元函数。运算符有长的左作用域。运算符将其左侧最长的函数作为其左操作数。 例如:

¨运算符的左侧操作数是index ⍳函数。派生函数 ⍳¨作为一元函数并将向量3 3作为右参数。each的左作用域被表示为/reduce运算符终止。reduece的左操作数是它左侧的函数表达式:相等函数的外积。∘.=/的结果是一个一元函数。对于此函数的长右作用域,它将⍳¨3 3的结果作为其右参数。因此



一元函数[编辑]

名称 符号 含义 Unicode代码点
Roll随机数 ?B B整数随机选择一个随机数 U+003F ?
上取整函数 ⌈B 大于或等于B的最小整数 U+2308
下取整函数 ⌊B 小于或等于B的最大整数 U+230A
形状, Rho ⍴B B的每个维度的分量数 U+2374
Not, 波浪號 ∼B 逻辑: ∼1 是 0, ∼0 是 1 U+223C
绝对值 ∣B B的绝对值 U+2223
索引生成器, Iota ⍳B 生成从1到整数B的向量 U+2373
⋆B e的B次幂 U+22C6
逻辑非 −B 改变B的符号 U+2212
共轭复数 +B B的共轭复数 (实数返回值不变) U+002B +
符号函数 ×B 如果B<0,则是¯1;如果B=0,则是0;如果B>0,则是1 U+00D7 ×
倒数 ÷B 1除以B U+00F7 ÷
链状 ,B 重整B为向量 U+002C ,
矩阵求逆 ⌹B 求矩阵B的逆 U+2339
Pi乘以 ○B 乘以π U+25CB
对数 ⍟B B的自然对数 U+235F
逆转 ⌽B 沿最后一个轴反转B的元素 U+233D
逆转 ⊖B 沿第一个轴反转B的元素 U+2296
升序 ⍋B B的指数升序排列B U+234B
降序 ⍒B B的指数降序排列B U+2352
执行 ⍎B 执行一个APL表达式 U+234E
一元格式 ⍕B B的字符表示 U+2355
一元转置矩阵 ⍉B 反转B的轴 U+2349
階乘 !B 从1到B的整数的乘积 U+0021 !

二元函数[编辑]

名称 符号 含义 Unicode代码点
加法 A+B AB的和 U+002B +
減法 A−B A减去B U+2212
乘法 A×B A乘以B U+00D7 ×
除法 A÷B A除以B U+00F7 ÷
A⋆B AB次幂 U+22C6
A○B 依据A的选择为B的三角函数
A=1: sin(B)    A=5: sinh(B)
A=2: cos(B)    A=6: cosh(B)
A=3: tan(B)    A=7: tanh(B)

负数产生相应函数的倒数

U+25CB
随机数 A?B A个不同的整数随机从1到B的整数中产生 U+003F ?
成员, Epsilon A∈B 如果AB的成员,返回1,否则返回0 U+2208
搜索, Epsilon Underbar A⍷B 1表示B中存在多项数组A的起始点;0表示不存在 U+2377
最大值, Ceiling A⌈B 返回AB中最大的值 U+2308
最小值, Floor A⌊B 返回AB中最小的值 U+230A
重塑, 二元Rho A⍴B 使用B的数据构成的形状为A的数组 U+2374
选择 A↑B 依据×A选择B中的第一个(或最后一个)A元素 U+2191
降低 A↓B 依据×A删除B中的第一个(或最后一个)A元素 U+2193
解码 A⊥B 系数为BA处的多项式的值 U+22A5
编码 A⊤B B值的Base-A表示 U+22A4
模除 A∣B B模除A U+2223
连接 A,B B中的元素附加A中的元素 U+002C ,
展开式, 二元反斜杠 A\B 向'B中插入零(或空格)对应于A中的零 U+005C \
压缩, 二元斜杠 A/B 选择B中的元素,对应于A中的一 U+002F /
索引, 二元Iota A⍳B 返回BA中的位置,如果没有找到,则返回1+⍴A U+2373
矩阵除法 A⌹B 线性方程组, 多元变量统计的解 Ax = B U+2339
旋转 A⌽B B的元素旋转A个位置 U+233D
旋转 A⊖B B的元素沿第一条轴旋转A个位置 U+2296
对数 A⍟B BA为底的对数 U+235F
二元格式 A⍕B 根据AB格式化为字符矩阵 U+2355
一般转置 A⍉B B的轴按A排序 U+2349
组合 A!B 一次取AB组合数 U+0021 !
Diaeresis,双点 A¨B 对每个, 或分别执行每一项; B = 被分别应用的项; A = 要执行或使用的操作 (例如iota) U+00A8 ¨
少于 A < B 比较: 如果为真,返回1;如果为假,返回0 U+003C <
小于等于 A≤B 比较: 如果为真,返回1;如果为假,返回0 U+2264
相等 A=B 比较: 如果为真,返回1;如果为假,返回0 U+003D =
大于等于 A≥B 比较: 如果为真,返回1;如果为假,返回0 U+2265
大于 A>B 比较: 如果为真,返回1;如果为假,返回0 U+003E >
不等 A≠B 比较: 如果为真,返回1;如果为假,返回0 U+2260
A∨B 布尔逻辑:如果A.B都等于0,为0(False);如果AB=1 (True),为1(True) U+2228
A∧B 布尔逻辑:如果A.B都等于1,为1(True);否则为0(False) U+2227
或非 A⍱B 布尔逻辑:如果A.B都是0,为1;除此以外为0. Alt: ~∨ = not Or U+2371
Nand A⍲B 布尔逻辑: 如果A.B都是1,为0;除此之外为1. Alt: ~∧ = not And U+2372
A⊣B A U+22A3
A⊢B B U+22A2

运算符与轴指示符[编辑]

名称 符号 示例 含义(示例) Unicode代码点序列
Reduce (最后轴), 斜杠 / +/B 横向对B求和 U+002F /
Reduce (第一轴) +⌿B 纵向对B求和 U+233F
Scan英语Prefix sum (最后轴), 反斜杠 \ +\B 横向对B累加求和 U+005C \
Scan (第一轴) +⍀B 纵向对B累加求和 U+2340
内积 . A+.×B AB矩陣乘法 U+002E .
外积 ∘. A∘.×B AB外积 U+2218 , U+002E .

注释:reduce和scan运算符期望在其左侧有一个二元函数,从而形成一个应用于其右侧向量的一元复合函数。

积运算符"."在左右两侧期望二元函数,形成一个应用于其左右两侧向量的二元复合函数。如果积运算符左侧的函数是"∘" (表示空值) 复合函数代表外积, 否则它代表内积。用于传统矩阵乘法的内积使用+和×函数,用其他二元函数替换这些可以产生有用的替代操作。

某些函数可以跟在括号中的轴指示符之后。即这出现在函数和数组之间,不应与数组后写的数组下标混淆。例如,给定⌽(反转)函数和二维数组,该函数默认沿最后一个轴运行,但这可以使用轴指示器进行更改:


As a particular case, if the dyadic catenate "," function is followed by an axis indicator (or axis modifier to a symbol/function), it can be used to laminate (interpose) two arrays depending on whether the axis indicator is less than or greater than the index origin[8] (index origin = 1 in illustration below):

嵌套数组[编辑]

Arrays are structures which have elements grouped linearly as vectors or in table form as matrices - and higher dimensions (3D or cubed, 4D or cubed over time, etc.). Arrays containing both characters and numbers are termed mixed arrays.[9] Array structures containing elements which are also arrays are called nested arrays.[10]

创建嵌套数组
APL解释器的用户会话 解释
      X4 5⍴⍳20
      X
 1  2  3  4  5
 6  7  8  9 10
11 12 13 14 15
16 17 18 19 20
      X[2;2]
7
      ⎕IO
1
      X[1;1]
1


X set = to matrix with 4 rows by 5 columns, consisting of 20 consecutive integers.

Element X[2;2] in row 2 - column 2 currently is an integer = 7.

Initial index origin ⎕IO value = 1.

Thus, the first element in matrix X or X[1;1] = 1.

      X[2;2]"Text"
      X[3;4](2 2⍴⍳4)
      X
  1    2  3      4    5
  6 Text  8      9   10

 11   12 13    1 2   15
               3 4

 16   17 18     19   20
Element in X[row 2; col 2] is changed (from 7) to a nested vector "Text" using the enclose ⊂ function.


Element in X[row 3; col 4], formerly integer 14, now becomes a mini enclosed or ⊂ nested 2x2 matrix of 4 consecutive integers.

Since X contains numbers, text and nested elements, it is both a mixed and a nested array.

Visual representation of the nested array

流程控制[编辑]

A user may define custom functions which, like variables, are identified by name rather than by a non-textual symbol. The function header defines whether a custom function is niladic (no arguments), monadic (one right argument) or dyadic (left and right arguments), the local name of the result (to the left of the ← assign arrow), and whether it has any local variables (each separated by semicolon ';').

User functions
Niladic function PI or π(pi) Monadic function CIRCLEAREA Dyadic function SEGMENTAREA, with local variables
  RESULTPI
   RESULT1
 
  AREACIRCLEAREA RADIUS
   AREAPI×RADIUS2
 
  AREADEGREES SEGMENTAREA RADIUS ; FRACTION ; CA
   FRACTIONDEGREES÷360
   CACIRCLEAREA RADIUS
   AREAFRACTION×CA
 

Whether functions with the same identifier but different adicity are distinct is implementation-defined. If allowed, then a function CURVEAREA could be defined twice to replace both monadic CIRCLEAREA and dyadic SEGMENTAREA above, with the monadic or dyadic function being selected by the context in which it was referenced.

Custom dyadic functions may usually be applied to parameters with the same conventions as built-in functions, i.e., arrays should either have the same number of elements or one of them should have a single element which is extended. There are exceptions to this, for example a function to convert pre-decimal UK currency to dollars would expect to take a parameter with precisely three elements representing pounds, shillings and pence.[11]

Inside a program or a custom function, control may be conditionally transferred to a statement identified by a line number or explicit label; if the target is 0 (zero) this terminates the program or returns to a function's caller. The most common form uses the APL compression function, as in the template (condition)/target which has the effect of evaluating the condition to 0 (false) or 1 (true) and then using that to mask the target (if the condition is false it is ignored, if true it is left alone so control is transferred).

Hence function SEGMENTAREA may be modified to abort (just below), returning zero if the parameters (DEGREES and RADIUS below) are of different sign:

 AREADEGREES SEGMENTAREA RADIUS ; FRACTION ; CA ; SIGN     ⍝ local variables denoted by semicolon(;)
  FRACTIONDEGREES÷360
  CACIRCLEAREA RADIUS        ⍝ this APL code statement calls user function CIRCLEAREA, defined up above.
  SIGN(×DEGREES)≠×RADIUS     ⍝ << APL logic TEST/determine whether DEGREES and RADIUS do NOT (≠ used) have same SIGN 1-yes different(≠), 0-no(same sign)
  AREA0                      ⍝ default value of AREA set = zero
  SIGN/0                     ⍝ branching(here, exiting) occurs when SIGN=1 while SIGN=0 does NOT branch to 0.  Branching to 0 exits function.
  AREAFRACTION×CA

The above function SEGMENTAREA works as expected if the parameters are scalars or single-element arrays, but not if they are multiple-element arrays since the condition ends up being based on a single element of the SIGN array - on the other hand, the user function could be modified to correctly handle vectorized arguments. Operation can sometimes be unpredictable since APL defines that computers with vector-processing capabilities should parallelise and may reorder array operations as far as possible - thus, test and debug user functions particularly if they will be used with vector or even matrix arguments. This affects not only explicit application of a custom function to arrays, but also its use anywhere that a dyadic function may reasonably be used such as in generation of a table of results:

        90 180 270 ¯90 ∘.SEGMENTAREA 1 ¯2 4
0 0 0
0 0 0
0 0 0
0 0 0

A more concise way and sometimes better way - to formulate a function is to avoid explicit transfers of control, instead using expressions which evaluate correctly in all or the expected conditions. Sometimes it is correct to let a function fail when one or both input arguments are incorrect - precisely to let user know that one or both arguments used were incorrect. The following is more concise than the above SEGMENTAREA function. The below importantly correctly handles vectorized arguments:

  AREADEGREES SEGMENTAREA RADIUS ; FRACTION ; CA ; SIGN
   FRACTIONDEGREES÷360
   CACIRCLEAREA RADIUS
   SIGN(×DEGREES)≠×RADIUS
   AREAFRACTION×CA×~SIGN  ⍝ this APL statement is more complex, as a one-liner - but it solves vectorized arguments: a tradeoff - complexity vs. branching
 

        90 180 270 ¯90 ∘.SEGMENTAREA 1 ¯2 4
0.785398163 0           12.5663706
1.57079633  0           25.1327412
2.35619449  0           37.6991118
0           ¯3.14159265 0

Avoiding explicit transfers of control also called branching, if not reviewed or carefully controlled - can promote use of excessively complex one liners, veritably "misunderstood and complex idioms" and a "write-only" style, which has done little to endear APL to influential commentators such as Edsger Dijkstra.[12] Conversely however APL idioms can be fun, educational and useful - if used with helpful comments ⍝, for example including source and intended meaning and function of the idiom(s). Here is an APL idioms list, an IBM APL2 idioms list here[13] and Finnish APL idiom library here.

杂项[编辑]

杂项符号
名称 符号 示例 含义(示例) Unicode代码点
High minus[14] ¯ ¯3 Denotes a negative number U+00AF ¯
Lamp, Comment ⍝This is a comment Everything to the right of ⍝ denotes a comment U+235D
RightArrow, Branch, GoTo →This_Label →This_Label sends APL execution to This_Label: U+2192
Assign, LeftArrow, Set to B←A B←A sets values and shape of B to match A U+2190

Most APL implementations support a number of system variables and functions, usually preceded by the ⎕ (quad) and or ")" (hook=close parenthesis) character. Particularly important and widely implemented is the ⎕IO (Index Origin) variable, since while the original IBM APL based its arrays on 1 some newer variants base them on zero:

APL解释器的用户会话 描述
        X12
        X
1 2 3 4 5 6 7 8 9 10 11 12
        ⎕IO
1
        X[1]
1

X set = to vector of 12 consecutive integers.

Initial index origin ⎕IO value = 1. Thus, the first position in vector X or X[1] = 1 per vector of iota values {1 2 3 4 5 ...}.

        ⎕IO0
        X[1]
2
        X[0]
1
Index Origin ⎕IO now changed to 0. Thus, the 'first index position' in vector X changes from 1 to 0. Consequently, X[1] then references or points to 2 from {1 2 3 4 5 ...} and X[0] now references 1.
        ⎕WA
41226371072
Quad WA or ⎕WA, another dynamic system variable, shows how much Work Area remains unused or 41,226 megabytes or about 41 gigabytes of unused additional total free work area available for the APL workspace and program to process using. If this number gets low or approaches zero - the computer may need more random-access memory (RAM), hard disk drive space or some combination of the two to increase virtual memory.
        )VARS
X
)VARS a system function in APL,[15] )VARS shows user variable names existing in the current workspace.

There are also system functions available to users for saving the current workspace e.g., )SAVE and terminating the APL environment, e.g., )OFF - sometimes called hook commands or functions due to the use of a leading right parenthesis or hook.[16] There is some standardization of these quad and hook functions.

字体[编辑]

The Unicode Basic Multilingual Plane includes the APL symbols in the Miscellaneous Technical block,[17] which are thus usually rendered accurately from the larger Unicode fonts installed with most modern operating systems. These fonts are rarely designed by typographers familiar with APL glyphs. So, while accurate, the glyphs may look unfamiliar to APL programmers or be difficult to distinguish from one another.

Some Unicode fonts have been designed to display APL well: APLX Upright, APL385 Unicode, and SimPL.

Before Unicode, APL interpreters were supplied with fonts in which APL characters were mapped to less commonly used positions in the ASCII character sets, usually in the upper 128 code points. These mappings (and their national variations) were sometimes unique to each APL vendor's interpreter, which made the display of APL programs on the Web, in text files and manuals - frequently problematic.

APL2键盘的函数到符号映射[编辑]

APL2 Keyboard
APL2 Keyboard

Note the APL On/Off Key - topmost-rightmost key, just below. Also note the keyboard had some 55 unique (68 listed per tables above, including comparative symbols but several symbols appear in both monadic and dyadic tables) APL symbol keys (55 APL functions (operators) are listed in IBM's 5110 APL Reference Manual), thus with the use of alt, shift and ctrl keys - it would theoretically have allowed a maximum of some 59 (keys) *4 (with 2-key pressing) *3 (with tri-key pressing, e.g., ctrl-alt-del) or some 472 different maximum key combinations, approaching the 512 EBCDIC character max (256 chars times 2 codes for each keys-combination). Again, in theory the keyboard pictured below would have allowed for about 472 different APL symbols/functions to be keyboard-input, actively used. In practice, early versions were only using something roughly equivalent to 55 APL special symbols (excluding letters, numbers, punctuation, etc. keys). Thus, early APL was then only using about 11% (55/472) of a symbolic language's at-that-time utilization potential, based on keyboard # keys limits, again excluding numbers, letters, punctuation, etc. In another sense keyboard symbols utilization was closer to 100%, highly efficient, since EBCDIC only allowed 256 distinct chars, and ASCII only 128.

解题[编辑]

APL在解决数学难题方面非常有用,下面将介绍其中的几个例子。

帕斯卡三角形[编辑]

Take Pascal's triangle, which is a triangular array of numbers in which those at the ends of the rows are 1 and each of the other numbers is the sum of the nearest two numbers in the row just above it (the apex, 1, being at the top). The following is an APL one-liner function to visually depict Pascal's triangle:

      Pascal{0~¨⍨a⌽⊃⌽∊¨0,¨¨a!¨a⌽⍳}   ⍝ Create one-line user function called Pascal
      Pascal 7                            ⍝ Run function Pascal for seven rows and show the results below:
                     1                       
                 1       2                   
             1       3       3               
          1      4       6       4           
       1     5       10      10      5       
    1     6      15      20      15      6   
 1     7     21      35      35      21     7

质数,通过因数反证[编辑]

Determine the number of prime numbers (prime # is a natural number greater than 1 that has no positive divisors other than 1 and itself) up to some number N. Ken Iverson is credited with the following one-liner APL solution to the problem:

      ⎕CR 'PrimeNumbers'  ⍝ Show APL user-function PrimeNumbers
PrimesPrimeNumbers N     ⍝ Function takes one right arg N (e.g., show prime numbers for 1 ... int N)
Primes(2=+0=(N)∘.|⍳N)/N  ⍝ The Ken Iverson one-liner
      PrimeNumbers 100    ⍝ Show all prime numbers from 1 to 100
2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89 97
      PrimeNumbers 100
25                       ⍝ There are twenty-five prime numbers in the range up to 100.

Examining the converse or opposite of a mathematical solution is frequently needed (integer factors of a number): Prove for the subset of integers from 1 through 15 that they are non-prime by listing their decomposition factors. What are their non-one factors (#'s divisible by, except 1)?

      ⎕CR 'ProveNonPrime'
ZProveNonPrime R
⍝Show all factors of an integer R - except 1 and the number itself,
⍝ i.e., prove Non-Prime. String 'prime' is returned for a Prime integer.
Z(0=(R)|R)/R  ⍝ Determine all factors for integer R, store into Z
Z(~(Z1,R))/Z   ⍝ Delete 1 and the number as factors for the number from Z.
(0=⍴Z)/ProveNonPrimeIsPrime               ⍝ If result has zero shape, it has no other factors and is therefore prime
ZR,(" factors(except 1) "),(Z),⎕TCNL  ⍝ Show the number R, its factors(except 1,itself), and a new line char
0  ⍝ Done with function if non-prime
ProveNonPrimeIsPrime: ZR,(" prime"),⎕TCNL  ⍝ function branches here if number was prime

      ProveNonPrime ¨15      ⍝ Prove non primes for each(¨) of the integers from 1 through 15 (iota 15)
    1  prime
    2  prime
    3  prime
    4  factors(except 1)   2 
    5  prime
    6  factors(except 1)   2 3 
    7  prime
    8  factors(except 1)   2 4 
    9  factors(except 1)   3 
    10  factors(except 1)   2 5 
    11  prime
    12  factors(except 1)   2 3 4 6 
    13  prime
    14  factors(except 1)   2 7 
    15  factors(except 1)   3 5

斐波那契数列[编辑]

生成一个斐波那契数列,序列中的每个后续数字都是前两个数字的和:

      ⎕CR 'Fibonacci'              ⍝ Display function Fibonacci
FibonacciNumFibonacci Nth;IOwas   ⍝ Funct header, funct name=Fibonacci, monadic funct with 1 right hand arg Nth;local var IOwas, and a returned num.
⍝Generate a Fibonacci sequenced number where Nth is the position # of the Fibonacci number in the sequence.  << function description
IOwas⎕IO  ⎕IO0  FibonacciNum0 1↓↑+.×/Nth/2 21 1 1 0  ⎕IOIOwas   ⍝ In order for this function to work correctly ⎕IO must be set to zero.

      Fibonacci¨14    ⍝ This APL statement says: Generate the Fibonacci sequence over each(¨) integer number(iota or ⍳) for the integers 1..14.
0 1 1 2 3 5 8 13 21 34 55 89 144 233   ⍝ Generated sequence, i.e., the Fibonacci sequence of numbers generated by APL's interpreter.

进一步阅读[编辑]

另见[编辑]

引用[编辑]

  1. ^ Iverson, Kenneth E. A Programming Language. Proceedings of the May 1–3, 1962, Spring Joint Computer Conference. AIEE-IRE '62 (Spring) (New York, NY, USA: ACM). 1962-01-01: 345–351. doi:10.1145/1460833.1460872. 
  2. ^ Baronet, Dan. Sharp APL Operators. archive.vector.org.uk. Vector - Journal of the British APL Association. [13 January 2015]. 
  3. ^ MicroAPL. Primitive Operators. www.microapl.co.uk. MicroAPL. [13 January 2015]. 
  4. ^ MicroAPL. Operators. www.microapl.co.uk. MicroAPL. [13 January 2015]. 
  5. ^ Progopedia. APL. progopedia.com. Progopedia. [13 January 2015]. 
  6. ^ Dyalog. D-functions and operators loosely grouped into categories. dfns.dyalog.com. Dyalog. [13 January 2015]. 
  7. ^ IBM. IBM 5100 APL Reference Manual (PDF). bitsavers.trailing-edge.com. IBM. [14 January 2015]. (原始内容 (PDF)存档于14 January 2015). 
  8. ^ Brown, Jim. In defense of index origin 0. ACM SIGAPL APL Quote Quad. 1978, 9 (2): 7. doi:10.1145/586050.586053. 
  9. ^ MicroAPL. APLX Language Manual (PDF). www.microapl.co.uk. MicroAPL - Version 5 .0 June 2009: 22. [31 January 2015]. 
  10. ^ Benkard, J. Philip. Nested Arrays and Operators: Some Issues in Depth. ACM SIGAPL APL Quote Quad. 1992, 23 (1): 7–21. ISBN 978-0897914772. doi:10.1145/144045.144065. 
  11. ^ Berry, Paul "APL\360 Primer Student Text", IBM Research, Thomas J. Watson Research Center, 1969.
  12. ^ Treatise (PDF). www.cs.utexas.edu. [2019-09-10]. 
  13. ^ Cason, Stan. APL2 Idioms Library. www-01.ibm.com. IBM. [1 February 2015]. 
  14. ^ APL's "high minus" applies to the single number that follows, while the monadic minus function changes the sign of the entire array to its right.
  15. ^ The Workspace - System Functions. Microapl.co.uk: (toward bottom of the web page). [2018-11-05]. 
  16. ^ APL language reference (PDF). [2018-11-05]. 
  17. ^ Unicode chart Miscellaneous Technical (including APL) (PDF). 

外部链接[编辑]

通用在线教程[编辑]

语法规则[编辑]