APL (programming language)

APL (named after the book A Programming Language)<ref name="aplbook">Template:Cite Q</ref> is a programming language developed in the 1960s by Kenneth E. Iverson. Its central datatype is the multidimensional array. It uses a large range of special graphic symbols<ref>Template:Cite journal</ref> to represent most functions and operators, leading to very concise code. It has been an important influence on the development of concept modeling, spreadsheets, functional programming,<ref>Template:Cite web</ref> and computer math packages.<ref name="mworks"/> It has also inspired several other programming languages.<ref name="jinsp"/><ref name="kinsp"/>

History

Mathematical notation

A mathematical notation for manipulating arrays was developed by Kenneth E. Iverson, starting in 1957 at Harvard University. In 1960, he began work for IBM where he developed this notation with Adin Falkoff and published it in his book A Programming Language in 1962.<ref name="aplbook"/> The preface states its premise: Template:Blockquote

This notation was used inside IBM for short research reports on computer systems, such as the Burroughs B5000 and its stack mechanism when stack machines versus register machines were being evaluated by IBM for upcoming computers.

Iverson also used his notation in a draft of the chapter A Programming Language, written for a book he was writing with Fred Brooks, Automatic Data Processing, which would be published in 1963.<ref>Iverson, Kenneth E., "Automatic Data Processing: Chapter 6: A programming language" Template:Webarchive, 1960, Draft copy for Brooks and Iverson 1963 book, Automatic Data Processing.</ref><ref>Brooks, Fred; Iverson, Kenneth, (1963), Automatic Data Processing, John Wiley & Sons Inc.</ref>

In 1979, Iverson received the Turing Award for his work on APL.<ref>Template:Cite web</ref>

Development into a computer programming language

As early as 1962, the first attempt to use the notation to describe a complete computer system happened after Falkoff discussed with William C. Carter his work to standardize the instruction set for the machines that later became the IBM System/360 family.

In 1963, Herbert Hellerman, working at the IBM Systems Research Institute, implemented a part of the notation on an IBM 1620 computer, and it was used by students in a special high school course on calculating transcendental functions by series summation. Students tested their code in Hellerman's lab. This implementation of a part of the notation was called Personalized Array Translator (PAT).<ref>Template:Cite journal</ref>

In 1963, Falkoff, Iverson, and Edward H. Sussenguth Jr., all working at IBM, used the notation for a formal description of the IBM System/360 series machine architecture and functionality, which resulted in a paper published in IBM Systems Journal in 1964. After this was published, the team turned their attention to an implementation of the notation on a computer system. One of the motivations for this focus of implementation was the interest of John L. Lawrence who had new duties with Science Research Associates, an educational company bought by IBM in 1964. Lawrence asked Iverson and his group to help use the language as a tool to develop and use computers in education.<ref>Template:Cite journal</ref>

After Lawrence M. Breed and Philip S. Abrams of Stanford University joined the team at IBM Research, they continued their prior work on an implementation programmed in FORTRAN IV for a part of the notation which had been done for the IBM 7090 computer running on the IBSYS operating system. This work was finished in late 1965 and later named IVSYS (for Iverson system). The basis of this implementation was described in detail by Abrams in a Stanford University Technical Report, "An Interpreter for Iverson Notation" in 1966. The academic aspect of this was formally supervised by Niklaus Wirth.<ref>Abrams, Philip S., An interpreter for "Iverson notation", Technical Report: CS-TR-66-47, Department of Computer Science, Stanford University, August 1966;</ref> Like Hellerman's PAT system earlier, this implementation omitted the APL character set, but used special English reserved words for functions and operators. The system was later adapted for a time-sharing system and, by November 1966, it had been reprogrammed for the IBM System/360 Model 50 computer running in a time-sharing mode and was used internally at IBM.<ref>Template:Cite journal</ref>

Hardware

File:APL Greek characters.jpg

IBM typeballs and typewheel containing APL Greek characters

File:APL-keybd2.svg

A programmer's view of the IBM 2741 keyboard layout with the APL typing element print head inserted

A key development in the ability to use APL effectively, before the wide use of cathode-ray tube (CRT) terminals, was the development of a special IBM Selectric typewriter interchangeable typing element with all the special APL characters on it. This was used on paper printing terminal workstations using the Selectric typewriter and typing element mechanism, such as the IBM 1050 and IBM 2741 terminal. Keycaps could be placed over the normal keys to show which APL characters would be entered and typed when that key was struck. For the first time, a programmer could type in and see proper APL characters as used in Iverson's notation and not be forced to use awkward English keyword representations of them. Falkoff and Iverson had the special APL Selectric typing elements, 987 and 988, designed in late 1964, although no APL computer system was available to use them.<ref name="APLQQ91">Breed, Larry, "The First APL Terminal Session", APL Quote Quad, Association for Computing Machinery, Volume 22, Number 1, September 1991, p. 2–4.</ref> Iverson cited Falkoff as the inspiration for the idea of using an IBM Selectric typing element for the APL character set.<ref>19, 2009 Adin Falkoff – Computer History Museum. "Iverson credited him for choosing the name APL and the introduction of the IBM golf-ball typewriter with the replacement typehead, which provided the famous character set to represent programs."</ref>

Many APL symbols, even with the APL characters on the Selectric typing element, still had to be typed in by over-striking two extant element characters. An example is the grade up character, which had to be made from a delta (shift-H) and a Sheffer stroke (shift-M). This was necessary because the APL character set was much larger than the 88 characters allowed on the typing element, even when letters were restricted to upper-case (capitals).

Commercial availability

The first APL interactive login and creation of an APL workspace was in 1966 by Larry Breed using an IBM 1050 terminal at the IBM Mohansic Labs near Thomas J. Watson Research Center, the home of APL, in Yorktown Heights, New York.<ref name="APLQQ91"/>

IBM was chiefly responsible for introducing APL to the marketplace. The first publicly available version of APL was released in 1968 for the IBM 1130. IBM provided APL\1130 for free but without liability or support.<ref>Template:Cite journal</ref><ref>APL\1130 Manual Template:Webarchive, May 1969</ref> It would run in as little as 8k 16-bit words of memory, and used a dedicated 1 megabyte hard disk.

APL gained its foothold on mainframe timesharing systems from the late 1960s through the early 1980s, in part because it would support multiple users on lower-specification systems that had no dynamic address translation hardware.<ref>Template:Cite web</ref> Additional improvements in performance for selected IBM System/370 mainframe systems included the APL Assist Microcode in which some support for APL execution was included in the processor's firmware, as distinct from being implemented entirely by higher-level software. Somewhat later, as suitably performing hardware was finally growing available in the mid- to late-1980s, many users migrated their applications to the personal computer environment.

Early IBM APL interpreters for IBM 360 and IBM 370 hardware implemented their own multi-user management instead of relying on the host services, thus they were their own timesharing systems. First introduced for use at IBM in 1966, the APL\360<ref name="IBM APL\360 1968">Falkoff, Adin; Iverson, Kenneth E., "APL\360 Users Guide" Template:Webarchive, IBM Research, Thomas J. Watson Research Center, Yorktown Heights, NY, August 1968.</ref><ref>"APL\360 Terminal System" Template:Webarchive, IBM Research, Thomas J. Watson Research Center, March 1967.</ref><ref name="apl360">Template:Cite book</ref> system was a multi-user interpreter. The ability to programmatically communicate with the operating system for information and setting interpreter system variables was done through special privileged "I-beam" functions, using both monadic and dyadic operations.<ref>Falkoff, Adin D.; Iverson, Kenneth E.,The Design of APL, IBM Journal of Research and Development, Volume 17, Number 4, July 1973. "These environmental defined functions were based on the use of still another class of functions—called "I-beams" because of the shape of the symbol used for them—which provide a more general facility for communication between APL programs and the less abstract parts of the system. The I-beam functions were first introduced by the system programmers to allow them to execute System/360 instructions from within APL programs, and thus use APL as a direct aid in their programming activity. The obvious convenience of functions of this kind, which appeared to be part of the language, led to the introduction of the monadic I-beam function for direct use by anyone. Various arguments to this function yielded information about the environment such as available space and time of day."</ref>

In 1973, IBM released APL.SV, which was a continuation of the same product, but which offered shared variables as a means to access facilities outside of the APL system, such as operating system files. In the mid-1970s, the IBM mainframe interpreter was even adapted for use on the IBM 5100 desktop computer, which had a small CRT and an APL keyboard, when most other small computers of the time only offered BASIC. In the 1980s, the VSAPL program product enjoyed wide use with Conversational Monitor System (CMS), Time Sharing Option (TSO), VSPC, MUSIC/SP, and CICS users.

In 1973–1974, Patrick E. Hagerty directed the implementation of the University of Maryland APL interpreter for the 1100 line of the Sperry UNIVAC 1100/2200 series mainframe computers.<ref>Template:Cite report</ref> In 1974, student Alan Stebbens was assigned the task of implementing an internal function.<ref>Template:Cite web</ref> Xerox APL was available from June 1975 for Xerox 560 and Sigma 6, 7, and 9 mainframes running CP-V and for Honeywell CP-6.<ref>Template:Cite web</ref>

In the 1960s and 1970s, several timesharing firms arose that sold APL services using modified versions of the IBM APL\360<ref name="apl360"/> interpreter. In North America, the better-known ones were IP Sharp Associates, Scientific Time Sharing Corporation (STSC), Time Sharing Resources (TSR), and The Computer Company (TCC). CompuServe also entered the market in 1978 with an APL Interpreter based on a modified version of Digital Equipment Corp and Carnegie Mellon's, which ran on DEC's KI and KL 36-bit machines. CompuServe's APL was available both to its commercial market and the consumer information service. With the advent first of less expensive mainframes such as the IBM 4300, and later the personal computer, by the mid-1980s, the timesharing industry was all but gone.

Sharp APL was available from IP Sharp Associates, first as a timesharing service in the 1960s, and later as a program product starting around 1979. Sharp APL was an advanced APL implementation with many language extensions, such as packages (the ability to put one or more objects into a single variable), a file system, nested arrays, and shared variables.

APL interpreters were available from other mainframe and mini-computer manufacturers also, notably Burroughs, Control Data Corporation (CDC), Data General, Digital Equipment Corporation (DEC), Harris, Hewlett-Packard (HP), Siemens, Xerox and others.

Garth Foster of Syracuse University sponsored regular meetings of the APL implementers' community at Syracuse's Minnowbrook Conference Center in Blue Mountain Lake, New York. In later years, Eugene McDonnell organized similar meetings at the Asilomar Conference Grounds near Monterey, California, and at Pajaro Dunes near Watsonville, California. The SIGAPL special interest group of the Association for Computing Machinery continues to support the APL community.<ref>Template:Cite web</ref>

Microcomputers

On microcomputers, which became available from the mid-1970s onwards, BASIC became the dominant programming language.<ref>Template:Cite magazine</ref> Nevertheless, some microcomputers provided APL instead – the first being the Intel 8008-based MCM/70 which was released in 1974<ref>Template:Cite web</ref><ref>Template:Cite book</ref> and which was primarily used in education.<ref>Template:Cite magazine</ref> Another machine of this time was the VideoBrain Family Computer, released in 1977, which was supplied with its dialect of APL called APL/S.<ref>"VideoBrain Family Computer", Popular Science, November 1978, advertisement.</ref>

The Commodore SuperPET, introduced in 1981, included an APL interpreter developed by the University of Waterloo.<ref>Template:Cite magazine</ref>

In 1976, Bill Gates claimed in his Open Letter to Hobbyists that Microsoft Corporation was implementing APL for the Intel 8080 and Motorola 6800 but had "very little incentive to make [it] available to hobbyists" because of software piracy.<ref>Template:Cite magazine</ref> It was never released.

APL2

Starting in the early 1980s, IBM APL development, under the leadership of Jim Brown, implemented a new version of the APL language that contained as its primary enhancement the concept of nested arrays, where an array can contain other arrays, and new language features which facilitated integrating nested arrays into program workflow. Ken Iverson, no longer in control of the development of the APL language, left IBM and joined I. P. Sharp Associates, where one of his major contributions was directing the evolution of Sharp APL to be more in accord with his vision.<ref>Template:Cite web</ref><ref>Template:Cite web</ref><ref>Template:Cite web</ref> APL2 was first released for CMS and TSO in 1984.<ref name="FalkoffIBMFamily">Template:Cite journal</ref> The APL2 Workstation edition (Windows, OS/2, AIX, Linux, and Solaris) followed later.<ref>Template:Cite web</ref><ref>Template:Cite web</ref>

As other vendors were busy developing APL interpreters for new hardware, notably Unix-based microcomputers, APL2 was almost always the standard chosen for new APL interpreter developments. Even today, most APL vendors or their users cite APL2 compatibility as a selling point for those products.<ref>Template:Cite web</ref><ref>Template:Cite web</ref> IBM cites its use for problem solving, system design, prototyping, engineering and scientific computations, expert systems,<ref>Template:Cite journal</ref> for teaching mathematics and other subjects, visualization and database access.<ref>Template:Cite web</ref>

Modern implementations

Various implementations of APL by APLX, Dyalog, et al., include extensions for object-oriented programming, support for .NET, XML-array conversion primitives, graphing, operating system interfaces, and lambda calculus expressions. Freeware versions include GNU APL for Linux and NARS2000 for Windows (which also runs on Linux under Wine). Both of these are fairly complete versions of APL2 with various language extensions.

Derivative languages

APL has formed the basis of, or influenced, the following languages:Template:Citation needed

• A and A+, an alternative APL, the latter with graphical extensions.
• FP, a functional programming language.
• Ivy, an interpreter for an APL-like language developed by Rob Pike, and which uses ASCII as input.<ref>Template:Cite web</ref>
• J, which was also designed by Iverson, and which uses ASCII with digraphs instead of special symbols.<ref name="jinsp">Template:Cite web</ref>
• K, a proprietary variant of APL developed by Arthur Whitney.<ref name="kinsp">Template:Cite web</ref>
• MATLAB, a numerical computation tool.<ref name="mworks">Template:Cite web</ref>
• Nial, a high-level array programming language with a functional programming notation.
• Polymorphic Programming Language, an interactive, extensible language with a similar base language.
• S, a statistical programming language (usually now seen in the open-source version known as R).
• Snap!, a low-code block-based programming language, born as an extended reimplementation of Scratch
• Speakeasy, a numerical computing interactive environment.
• Wolfram Language, the programming language of Mathematica.<ref>Template:Cite web</ref>

Language characteristics

Character set

APL has been criticized and praised for its choice of a unique character set. In the 1960s and 1970s, few terminal devices or even displays could reproduce the APL character set. The most popular ones employed the IBM Selectric print mechanism used with a special APL type element. One of the early APL line terminals (line-mode operation only, not full screen) was the Texas Instruments TI Model 745 (Template:Circa) with the full APL character set<ref>Template:Cite journal</ref> which featured half and full duplex telecommunications modes, for interacting with an APL time-sharing service or remote mainframe to run a remote computer job, remote job entry (RJE).

Over time, with the universal use of high-quality graphic displays, printing devices and Unicode support, the APL character font problem has largely been eliminated. However, entering APL characters requires the use of input method editors, keyboard mappings, virtual/on-screen APL symbol sets,<ref name="FontsKeys">Template:Cite web</ref><ref>Template:Cite web</ref> or easy-reference printed keyboard cards which can frustrate beginners accustomed to other programming languages.<ref>Template:Cite web</ref><ref>Template:Cite journal</ref><ref>Template:Cite web</ref> With beginners who have no prior experience with other programming languages, a study involving high school students found that typing and using APL characters did not hinder the students in any measurable way.<ref>Template:Cite web</ref>

In defense of APL, it requires fewer characters to type, and keyboard mappings become memorized over time. Special APL keyboards are also made and in use today, as are freely downloadable fonts for operating systems such as Microsoft Windows.<ref name="FontsKeys"/> The reported productivity gains assume that one spends enough time working in the language to make it worthwhile to memorize the symbols, their semantics, keyboard mappings, and many idioms for common tasks.Template:Citation needed

Design

Unlike traditionally structured programming languages, APL code is typically structured as chains of monadic or dyadic functions, and operators<ref name="MicroAOL_Operators">Template:Cite web</ref> acting on arrays.<ref>Template:Cite web</ref> APL has many nonstandard primitives (functions and operators) that are indicated by a single symbol or a combination of a few symbols. All primitives are defined to have the same precedence, and always associate to the right. Thus, APL is read or best understood from right-to-left.

Early APL implementations (Template:Circa or so) had no programming loop control flow structures, such as do or while loops, and if-then-else constructs. Instead, they used array operations, and use of structured programming constructs was often unneeded, since an operation could be performed on a full array in one statement. For example, the iota function (ι) can replace for-loop iteration: ιN when applied to a scalar positive integer yields a one-dimensional array (vector), 1 2 3 ... N. Later APL implementations generally include comprehensive control structures, so that data structure and program control flow can be clearly and cleanly separated.

The APL environment is called a workspace. In a workspace the user can define programs and data, i.e., the data values exist also outside the programs, and the user can also manipulate the data without having to define a program.<ref>Template:Cite web</ref> In the examples below, the APL interpreter first types six spaces before awaiting the user's input. Its own output starts in column one.

<syntaxhighlight lang="apl"> n ← 4 5 6 7</syntaxhighlight>	Assigns vector of values, {4 5 6 7}, to variable n, an array create operation. An equivalent yet more concise APL expression would be <syntaxhighlight lang="apl" inline>n ← 3 + ⍳4</syntaxhighlight>. Multiple values are stored in array n, the operation performed without formal loops or control flow language.
<syntaxhighlight lang="apl"> n 4 5 6 7</syntaxhighlight>	Display the contents of n, currently an array or vector.
<syntaxhighlight lang="apl"> n+4 8 9 10 11</syntaxhighlight>	4 is now added to all elements of vector n, creating a 4-element vector {8 9 10 11}. As above, APL's interpreter displays the result because the expression's value was not assigned to a variable (with a ←).
<syntaxhighlight lang="apl"> +/n 22</syntaxhighlight>	APL displays the sum of components of the vector n, i.e., 22 (= 4 + 5 + 6 + 7) using a very compact notation: read +/ as "plus, over..." and a slight change would be "multiply, over..."
<syntaxhighlight lang="apl"> m ← +/3+⍳4 m 22</syntaxhighlight>	These operations can be combined into one statement, remembering that APL evaluates expressions right to left: first <syntaxhighlight lang="apl" inline>⍳4</syntaxhighlight> creates an array, <syntaxhighlight lang="apl" inline>[1,2,3,4]</syntaxhighlight>, then 3 is added to each component, which are summed together and the result stored in variable m, finally displayed. In normal mathematical notation, it is equivalent to: <math>\displaystyle m= \sum\limits_{i=1}^4 (i+3)</math>. Recall that mathematical expressions are not read or evaluated from right-to-left.

The user can save the workspace with all values, programs, and execution status.

APL uses a set of non-ASCII symbols, which are an extension of traditional arithmetic and algebraic notation. Having single character names for single instruction, multiple data (SIMD) vector functions is one way that APL enables compact formulation of algorithms for data transformation such as computing Conway's Game of Life in one line of code.<ref>Template:Cite web</ref> In nearly all versions of APL, it is theoretically possible to express any computable function in one expression, that is, in one line of code.Template:Citation needed

Due to the unusual character set, many programmers use special keyboards with APL keytops to write APL code.<ref>Template:Cite web</ref> Although there are various ways to write APL code using only ASCII characters,<ref>Template:Cite web</ref> in practice it is almost never done. (This may be thought to support Iverson's thesis about notation as a tool of thought.<ref>Template:Cite journal</ref>) Most if not all modern implementations use standard keyboard layouts, with special mappings or input method editors to access non-ASCII characters. Historically, the APL font has been distinctive, with uppercase italic alphabetic characters and upright numerals and symbols. Most vendors continue to display the APL character set in a custom font.

Advocates of APLTemplate:Who claim that the examples of so-called write-only code (badly written and almost incomprehensible code) are almost invariably examples of poor programming practice or novice mistakes, which can occur in any language. Advocates also claim that they are far more productive with APL than with more conventional computer languages, and that working software can be implemented in far less time and with far fewer programmers than using other technology.Template:Citation needed

They also may claim that because it is compact and terse, APL lends itself well to larger-scale software development and complexity, because the number of lines of code can be reduced greatly. Many APL advocates and practitioners also view standard programming languages such as COBOL and Java as being comparatively tedious. APL is often found where time-to-market is important, such as with trading systems.<ref>Template:Cite web</ref><ref>Template:Cite web</ref><ref>Template:Cite journal</ref><ref>Template:Cite web</ref>

Terminology

APL makes a clear distinction between functions and operators.<ref name="MicroAOL_Operators"/><ref>Template:Cite web</ref> Functions take arrays (variables or constants or expressions) as arguments, and return arrays as results. Operators (similar to higher-order functions) take functions or arrays as arguments, and derive related functions. For example, the sum function is derived by applying the reduction operator to the addition function. Applying the same reduction operator to the maximum function (which returns the larger of two numbers) derives a function which returns the largest of a group (vector) of numbers. In the J language, Iverson substituted the terms verb for function and adverb or conjunction for operator.

APL also identifies those features built into the language, and represented by a symbol, or a fixed combination of symbols, as primitives. Most primitives are either functions or operators. Coding APL is largely a process of writing non-primitive functions and (in some versions of APL) operators. However a few primitives are considered to be neither functions nor operators, most noticeably assignment.

Some words used in APL literature have meanings that differ from those in both mathematics and the generality of computer science.

Terminology of APL operators

Term	Description
function	operation or mapping that takes zero, one (right) or two (left & right) arguments which may be scalars, arrays, or more complicated structures, and may return a similarly complex result. A function may be: Primitive: built-in and represented by a single glyph;<ref name="aplxch6">Template:Cite web</ref> Defined: as a named and ordered collection of program statements;<ref name="aplxch6"/> Derived: as a combination of an operator with its arguments.<ref name="aplxch6"/>
array	data valued object of zero or more orthogonal dimensions in row-major order in which each item is a primitive scalar datum or another array.<ref>Template:Cite web</ref>
niladic	not taking or requiring any arguments, nullary<ref name="Bohman_Froberg">"Programmera i APL", Bohman, Fröberg, Studentlitteratur, Template:ISBN</ref>
monadic	requiring only one argument; on the right for a function, on the left for an operator, unary<ref name="Bohman_Froberg"/>
dyadic	requiring both a left and a right argument, binary<ref name="Bohman_Froberg"/>
ambivalent or monadic	capable of use in a monadic or dyadic context, permitting its left argument to be elidedTemplate:Definition needed<ref name="aplxch6"/>
operator	operation or mapping that takes one (left) or two (left & right) function or array valued arguments (operands) and derives a function. An operator may be: Primitive: built-in and represented by a single glyph;<ref name="aplxch6"/> Defined: as a named and ordered collection of program statements.<ref name="aplxch6"/>

Syntax

Template:Main APL has explicit representations of functions, operators, and syntax, thus providing a basis for the clear and explicit statement of extended facilities in the language, and tools to experiment on them.<ref>Template:Cite web</ref>

Examples

Hello, world

This displays "Hello, world":

<syntaxhighlight lang="apl"> 'Hello, world' </syntaxhighlight>

A design theme in APL is to define default actions in some cases that would produce syntax errors in most other programming languages.

The 'Hello, world' string constant above displays, because display is the default action on any expression for which no action is specified explicitly (e.g. assignment, function parameter).

Exponentiation

Another example of this theme is that exponentiation in APL is written as Template:Code, which indicates raising 2 to the power 3 (this would be written as Template:Code or Template:Code in some languages, or relegated to a function call such as Template:Code in others). Many languages use Template:Code to signify multiplication, as in Template:Code, but APL chooses to use Template:Code. However, if no base is specified (as with the statement Template:Code in APL, or Template:Code in other languages), most programming languages one would see this as a syntax error. APL, however, assumes the missing base to be the natural logarithm constant e, and interprets Template:Code as Template:Code.

Simple statistics

Suppose that Template:Code is an array of numbers. Then Template:Code gives its average. Reading right-to-left, Template:Code gives the number of elements in X, and since Template:Code is a dyadic operator, the term to its left is required as well. It is surrounded by parentheses since otherwise X would be taken (so that the summation would be of Template:Code—each element of X divided by the number of elements in X), and Template:Code gives the sum of the elements of X. Building on this, the following expression computes standard deviation: Template:Sxhl

Naturally, one would define this expression as a function for repeated use rather than rewriting it each time. Further, since assignment is an operator, it can appear within an expression, so the following would place suitable values into T, AV and SD: Template:Sxhl

Pick 6 lottery numbers

This following immediate-mode expression generates a typical set of Pick 6 lottery numbers: six pseudo-random integers ranging from 1 to 40, guaranteed non-repeating, and displays them sorted in ascending order:

<syntaxhighlight lang="apl"> x[⍋x←6?40] </syntaxhighlight>

The above does a lot, concisely, although it may seem complex to a new APLer. It combines the following APL functions (also called primitives<ref>Template:Cite web</ref> and glyphs<ref>Template:Cite web</ref>):

• The first to be executed (APL executes from rightmost to leftmost) is dyadic function ? (named deal when dyadic) that returns a vector consisting of a select number (left argument: 6 in this case) of random integers ranging from 1 to a specified maximum (right argument: 40 in this case), which, if said maximum ≥ vector length, is guaranteed to be non-repeating; thus, generate/create 6 random integers ranging from 1 to 40.<ref>Template:Cite web</ref>
• This vector is then assigned (←) to the variable x, because it is needed later.
• This vector is then sorted in ascending order by a monadic ⍋ function, which has as its right argument everything to the right of it up to the next unbalanced close-bracket or close-parenthesis. The result of ⍋ is the indices that will put its argument into ascending order.
• Then the output of ⍋ is used to index the variable x, which we saved earlier for this purpose, thereby selecting its items in ascending sequence.

Since there is no function to the left of the left-most x to tell APL what to do with the result, it simply outputs it to the display (on a single line, separated by spaces) without needing any explicit instruction to do that.

? also has a monadic equivalent called roll, which simply returns one random integer between 1 and its sole operand [to the right of it], inclusive. Thus, a role-playing game program might use the expression ?20 to roll a twenty-sided die.

Prime numbers

The following expression finds all prime numbers from 1 to R. In both time and space, the calculation complexity is <math>O(R^2)\,\!</math> (in Big O notation).

<syntaxhighlight lang="apl"> (~R∊R∘.×R)/R←1↓⍳R </syntaxhighlight>

Executed from right to left, this means:

• Iota ⍳ creates a vector containing integers from 1 to R (if R= 6 at the start of the program, ⍳R is 1 2 3 4 5 6)
• Drop first element of this vector (↓ function), i.e., 1. So 1↓⍳R is 2 3 4 5 6
• Set R to the new vector (←, assignment primitive), i.e., 2 3 4 5 6
• The / replicate operator is dyadic (binary) and the interpreter first evaluates its left argument (fully in parentheses):
• Generate outer product of R multiplied by R, i.e., a matrix that is the multiplication table of R by R (°.× operator), i.e.,

4	6	8	10	12
6	9	12	15	18
8	12	16	20	24
10	15	20	25	30
12	18	24	30	36

• Build a vector the same length as R with 1 in each place where the corresponding number in R is in the outer product matrix (∈, set inclusion or element of or Epsilon operator), i.e., 0 0 1 0 1
• Logically negate (not) values in the vector (change zeros to ones and ones to zeros) (∼, logical not or Tilde operator), i.e., 1 1 0 1 0
• Select the items in R for which the corresponding element is 1 (/ replicate operator), i.e., 2 3 5

(This assumes the APL origin is 1, i.e., indices start with 1. APL can be set to use 0 as the origin, so that ι6 is 0 1 2 3 4 5, which is convenient for some calculations.)

Sorting

The following expression sorts a word list stored in matrix X according to word length:

<syntaxhighlight lang="apl"> X[⍋X+.≠' ';] </syntaxhighlight>

Game of Life

The following function "life", written in Dyalog APL,<ref>Template:Cite AV media</ref><ref>Further technical details in APL Wiki's article "Conway's Game of Life". Retrieved November 20, 2021.</ref> takes a Boolean matrix and calculates the new generation according to Conway's Game of Life. It demonstrates the power of APL to implement a complex algorithm in very little code, but understanding it requires some advanced knowledge of APL (as the same program would in many languages).

<syntaxhighlight lang="apl"> life ← {⊃1 ⍵ ∨.∧ 3 4 = +/ +⌿ ¯1 0 1 ∘.⊖ ¯1 0 1 ⌽¨ ⊂⍵} </syntaxhighlight>

HTML tags removal

In the following example, also Dyalog, the first line assigns some HTML code to a variable txt and then uses an APL expression to remove all the HTML tags:

<syntaxhighlight lang="apl">

txt←'<html><body>

This is emphasized text.

</body></html>'

     {⍵ /⍨ ~{⍵∨≠\⍵}⍵∊'<>'} txt

This is emphasized text. </syntaxhighlight>

Naming

APL derives its name from the initials of Iverson's book A Programming Language,<ref name="aplbook"/> even though the book describes Iverson's mathematical notation, rather than the implemented programming language described in this article. The name is used only for actual implementations, starting with APL\360.

Adin Falkoff coined the name in 1966 during the implementation of APL\360 at IBM:

APL is occasionally re-interpreted as Array Programming Language or Array Processing Language,<ref>Acharya, R; Pereira, (904567457) N.E. APL Programming Language Template:Webarchive. Paper for CS5314 (Concepts of Programming Languages) at Virginia Tech.</ref> thereby making APL into a backronym.

Logo

File:BAPLA 2009 laptop bag.jpg

British APL Association (BAPLA) conference laptop bag

There has always been cooperation between APL vendors, and joint conferences were held on a regular basis from 1969 until 2010.<ref>APL Wiki. APL Conference. Retrieved 13 Oct 2021.</ref> At such conferences, APL merchandise was often handed out, featuring APL motifs or collection of vendor logos. Common were apples (as a pun on the similarity in pronunciation of apple and APL) and the code snippet Template:Code which are the symbols produced by the classic APL keyboard layout when holding the APL modifier key and typing "APL".

Despite all these community efforts, no universal vendor-agnostic logo for the programming language emerged. As popular programming languages increasingly have established recognisable logos, Fortran getting one in 2020,<ref>Jacob Williams. Degenerate Conic: New Blood. Retrieved 13 Oct 2021.</ref> British APL Association launched a campaign in the second half of 2021, to establish such a logo for APL, and after a community election and multiple rounds of feedback, a logo was chosen in May 2022.<ref>APL Wiki. APL logo. Retrieved 20 May 2022.</ref>

Use

APL is used for many purposes including financial and insurance applications,<ref name="simcorp"/> artificial intelligence,<ref>Template:Cite journal</ref><ref>Template:Cite journal</ref> neural networks<ref>Template:Cite journal</ref> and robotics.<ref>Template:Cite web</ref> It has been argued that APL is a calculation tool and not a programming language;<ref>Template:Cite journal</ref> its symbolic nature and array capabilities have made it popular with domain experts and data scientists<ref name="Hsu">Template:Cite web</ref> who do not have or require the skills of a computer programmer.Template:Citation needed

APL is well suited to image manipulation and computer animation, where graphic transformations can be encoded as matrix multiplications. One of the first commercial computer graphics houses, Digital Effects, produced an APL graphics product named Visions, which was used to create television commercials and animation for the 1982 film Tron.<ref>Template:Cite book</ref> Latterly, the Stormwind boating simulator uses APL to implement its core logic, its interfacing to the rendering pipeline middleware and a major part of its physics engine.<ref>Template:Cite web</ref>

Today, APL remains in use in a wide range of commercial and scientific applications, for example investment management,<ref name="simcorp">Template:Cite web</ref> asset management,<ref>Template:Cite webTemplate:Dead link</ref>Template:Citation needed health care,<ref>Template:Cite web</ref> and DNA profiling.<ref>Template:Cite web</ref><ref>Template:Cite webTemplate:Cbignore</ref>

Notable implementations

APL\360

The first implementation of APL using recognizable APL symbols was APL\360 which ran on the IBM System/360, and was completed in November 1966<ref name="Birthdate">Template:Cite web</ref> though at that time remained in use only within IBM.<ref name="FalkoffIBMFamily"/> In 1973 its implementors, Larry Breed, Dick Lathwell and Roger Moore, were awarded the Grace Murray Hopper Award from the Association for Computing Machinery (ACM). It was given "for their work in the design and implementation of APL\360, setting new standards in simplicity, efficiency, reliability and response time for interactive systems."<ref>Template:Cite web</ref><ref>Template:Cite web</ref><ref>Template:Cite web</ref>

In 1975, the IBM 5100 microcomputer offered APL\360<ref>Template:Cite web</ref> as one of two built-in ROM-based interpreted languages for the computer, complete with a keyboard and display that supported all the special symbols used in the language.<ref name="byte197512">Template:Cite magazine</ref>

Significant developments to APL\360 included CMS/APL, which made use of the virtual storage capabilities of CMS and APLSV, which introduced shared variables, system variables and system functions. It was subsequently ported to the IBM System/370 and VSPC platforms until its final release in 1983, after which it was replaced by APL2.<ref name="FalkoffIBMFamily"/>

APL\1130

In 1968, APL\1130 became the first publicly available APL system, created by IBM for the IBM 1130.<ref>Template:Cite web</ref> It became the most popular IBM Type-III Library software that IBM released.<ref>Template:Cite journal</ref>

APL*Plus and Sharp APL

APL*Plus and Sharp APL are versions of APL\360 with added business-oriented extensions such as data formatting and facilities to store APL arrays in external files. They were jointly developed by two companies, employing various members of the original IBM APL\360 development team.<ref>Template:Cite web</ref>

The two companies were I. P. Sharp Associates (IPSA), an APL\360 services company formed in 1964 by Ian Sharp, Roger Moore and others, and STSC, a time-sharing and consulting service company formed in 1969 by Lawrence Breed and others. Together the two developed APL*Plus and thereafter continued to work together but develop APL separately as APL*Plus and Sharp APL. STSC ported APL*Plus to many platforms with versions being made for the VAX 11,<ref>Template:Cite magazine</ref> PC and UNIX, whereas IPSA took a different approach to the arrival of the personal computer and made Sharp APL available on this platform using additional PC-XT/360 hardware. In 1993, Soliton Incorporated was formed to support Sharp APL and it developed Sharp APL into SAX (Sharp APL for Unix). Template:As of, APL*Plus continues as APL2000 APL+Win.

In 1985, Ian Sharp, and Dan Dyer of STSC, jointly received the Kenneth E. Iverson Award for Outstanding Contribution to APL.<ref name="IversonAwards"/>

APL2

APL2 was a significant re-implementation of APL by IBM which was developed from 1971 and first released in 1984. It provides many additions to the language, of which the most notable is nested (non-rectangular) array support.<ref name="FalkoffIBMFamily"/> The entire APL2 Products and Services Team was awarded the Iverson Award in 2007.<ref name="IversonAwards"/>

In 2021, IBM sold APL2 to Log-On Software, who develop and sell the product as Log-On APL2.<ref>Template:Cite web</ref>

APLGOL

In 1972, APLGOL was released as an experimental version of APL that added structured programming language constructs to the language framework. New statements were added for interstatement control, conditional statement execution, and statement structuring, as well as statements to clarify the intent of the algorithm.<ref>Template:Cite journal</ref> It was implemented for Hewlett-Packard in 1977.<ref>Template:Cite web</ref>

Dyalog APL

Dyalog APL was first released by British company Dyalog Ltd.<ref>Template:Cite web</ref> in 1983<ref>Template:Cite journalTemplate:Dead link</ref> and, Template:As of, is available for AIX, Linux (including on the Raspberry Pi), macOS and Microsoft Windows platforms. It is based on APL2, with extensions to support object-oriented programming,<ref>Template:Cite book</ref> functional programming,<ref>Template:Cite web</ref> and tacit programming.<ref>Template:Cite web</ref> Licences are free for personal/non-commercial use.<ref>Template:Cite web</ref>

In 1995, two of the development team – John Scholes and Peter Donnelly – were awarded the Iverson Award for their work on the interpreter.<ref name="IversonAwards">Template:Cite web</ref> Gitte Christensen and Morten Kromberg were joint recipients of the Iverson Award in 2016.<ref>Template:Cite web</ref>

NARS2000

NARS2000 is an open-source APL interpreter written by Bob Smith, a prominent APL developer and implementor from STSC in the 1970s and 1980s. NARS2000 contains advanced features and new datatypes and runs natively on Microsoft Windows, and other platforms under Wine. It is named after a development tool from the 1980s, NARS (Nested Arrays Research System).<ref name="NARS2000">Template:Cite web</ref>

APLX

APLX is a cross-platform dialect of APL, based on APL2 and with several extensions, which was first released by British company MicroAPL in 2002. Although no longer in development or on commercial sale it is now available free of charge from Dyalog.<ref>Template:Cite web</ref>

York APL

York APL<ref name="YorkAPL">Template:Cite web</ref> was developed at the York University, Ontario around 1968, running on IBM 360 mainframes. One notable difference between it and APL\360 was that it defined the "shape" (ρ) of a scalar as 1 whereas APL\360 defined it as the more mathematically correct 0 — this made it easier to write functions that acted the same with scalars and vectors.

GNU APL

GNU APL is a free implementation of Extended APL as specified in ISO/IEC 13751:2001 and is thus an implementation of APL2. It runs on Linux, macOS, several BSD dialects, and on Windows (either using Cygwin for full support of all its system functions or as a native 64-bit Windows binary with some of its system functions missing). GNU APL uses Unicode internally and can be scripted. It was written by Jürgen Sauermann.<ref name="GNU">Template:Cite web</ref>

Richard Stallman, founder of the GNU Project, was an early adopter of APL, using it to write a text editor as a high school student in the summer of 1969.<ref name="Berättar">Template:Cite web</ref>

Interpretation and compilation of APL

APL is traditionally an interpreted language, having language characteristics such as weak variable typing not well suited to compilation.<ref>Template:Cite book</ref> However, with arrays as its core data structure<ref>Template:Cite web</ref> it provides opportunities for performance gains through parallelism,<ref>Template:Cite journal</ref> parallel computing,<ref>Template:Cite web</ref><ref>Template:Cite journal</ref> massively parallel applications,<ref>Template:Cite journal</ref><ref>Template:Cite web</ref> and very-large-scale integration (VLSI),<ref>Template:Cite book
Template:*Template:Cite book</ref><ref>Template:Cite book</ref> and from the outset APL has been regarded as a high-performance language<ref>Template:Cite journal</ref> – for example, it was noted for the speed with which it could perform complicated matrix operations "because it operates on arrays and performs operations like matrix inversion internally".<ref>Template:Cite web</ref>

Nevertheless, APL is rarely purely interpreted and compilation or partial compilation techniques that are, or have been, used include the following:

Idiom recognition

Most APL interpreters support idiom recognition<ref>Template:Cite book</ref> and evaluate common idioms as single operations.<ref>Template:Cite journal</ref><ref>Template:Cite thesis</ref> For example, by evaluating the idiom BV/⍳⍴A as a single operation (where BV is a Boolean vector and A is an array), the creation of two intermediate arrays is avoided.<ref>Template:Cite web</ref>

Optimised bytecode

Weak typing in APL means that a name may reference an array (of any datatype), a function or an operator. In general, the interpreter cannot know in advance which form it will be and must therefore perform analysis, syntax checking etc. at run-time.<ref>Template:Cite journal</ref> However, in certain circumstances, it is possible to deduce in advance what type a name is expected to reference and then generate bytecode which can be executed with reduced run-time overhead. This bytecode can also be optimised using compilation techniques such as constant folding or common subexpression elimination.<ref name="DyalogCompiler">Template:Cite web</ref> The interpreter will execute the bytecode when present and when any assumptions which have been made are met. Dyalog APL includes support for optimised bytecode.<ref name="DyalogCompiler"/>

Compilation

Compilation of APL has been the subject of research and experiment since the language first became available; the first compiler is considered to be the Burroughs APL-700<ref name="DriscollOrth"> Template:Cite journal</ref> which was released around 1971.<ref>Template:Cite web</ref> In order to be able to compile APL, language limitations have to be imposed.<ref name="DriscollOrth"/><ref> Template:Cite journal</ref> APEX is a research APL compiler which was written by Robert Bernecky and is available under the GNU General Public License.<ref>Template:Cite web</ref>

The STSC APL Compiler is a hybrid of a bytecode optimiser and a compiler – it enables compilation of functions to machine code provided that its sub-functions and globals are declared, but the interpreter is still used as a runtime library and to execute functions which do not meet the compilation requirements.<ref>Template:Cite web</ref>

Standards

APL has been standardized by the American National Standards Institute (ANSI) working group X3J10 and International Organization for Standardization (ISO) and International Electrotechnical Commission (IEC), ISO/IEC Joint Technical Committee 1 Subcommittee 22 Working Group 3. The Core APL language is specified in ISO 8485:1989, and the Extended APL language is specified in ISO/IEC 13751:2001.

Further reading

• An APL Machine Template:Webarchive (1970 Stanford doctoral dissertation by Philip Abrams)
• A Personal History Of APL Template:Webarchive (1982 article by Michael S. Montalbano)
• Template:Cite journal
• Template:Cite journal
• A Programming Language by Kenneth E. Iverson
• APL in Exposition by Kenneth E. Iverson
• Brooks, Frederick P.; Kenneth Iverson (1965). Automatic Data Processing, System/360 Edition. Template:ISBN.
• Template:Cite book
• Template:Cite journal
• Template:Cite book
• Template:Cite book
• Template:Cite book
• Template:Cite journal
• Template:Cite book
• Template:Cite web
• Template:Cite book [1] [2]

Video

• Template:YouTube – a 1974 talk show style interview with the original developers of APL.
• Template:YouTube – a 1975 live demonstration of APL by Professor Bob Spence, Imperial College London.
• Template:YouTube – a 2009 tutorial by John Scholes of Dyalog Ltd. which implements Conway's Game of Life in a single line of APL.
• Template:YouTube – a 2009 introduction to APL by Graeme Robertson.

External links

Online resources

• TryAPL.org, an online APL primer
• APL2C, a source of links to APL compilers