In APL design, backwards compatibility is the practice of ensuring that older codebases or systems are able to work with new APL dialects, versions, or libraries. Since its early development, APL—and in particular widely used commercial dialects—has had a strong emphasis on backwards compatibility. However, there have also been several significant languages that retain core APL ideas while breaking compatibility, including Iverson's own J. Ideas from these languages are sometimes incorporated back into mainstream, backwards-compatible APLs.
APL dialects that emphasize backward compatibility typically apply greater caution when designing features in order to preserve the possibility for extension in the future, and may even consider forward compatibility—the ability for an older system to work, or fail safely, with newer features—when designing. Features designed with less care in the past may cause language inconsistencies in the future indefinitely. For example, Membership's behavior on high-rank arrays is incompatible with and less useful than other high-rank set functions, but extending it in the new way would break too much existing code for commercial APLs to consider it.
APL dialects that historically have strongly emphasized backwards compatibility include:
- The IBM progression of APLs including APL\360, APL.SV, and APL2
- APL*PLUS relative to IBM APLs
- SHARP APL: for example Syracuse University chose SHARP over other dialects because of its superior compatibility with APL*PLUS
- Dyalog APL, particularly in the 1990s and later
- GNU APL relative to ISO/IEC_13751:2001
- Extended Dyalog APL relative to Dyalog, although this compatibility was broken by Dyalog version 18.0's addition of Unique Mask.
In the 1970s and early 1980s it was common to create new APL implementations to run on new hardware. These implementations almost always shared the primitive set of APL.SV or another IBM APL, but often developed new system functions or other peripheral functionality to better match the host system.
Even the languages listed above may make changes to existing behavior. Dyalog APL 13.0 broke compatibility for the Power function while introducing complex numbers, and was controversial decision for that and other reasons.
Notable APL dialects or offshoots that discard backwards compatibility with APL in significant ways include:
- Iverson's papers Rationalized APL and A Dictionary of APL
- APL2 (and thus APLX and GNU APL) promoted bracket indexing to higher precedence than stranding while e.g. Dyalog APL retained APL\360's precendence
- A+, primarily because leading axis theory allows primitives to be removed or simplified
- J to use only the ASCII character set, leading axis theory, and other primitive changes
- APL# to support .NET-based features and unify function definition
- dzaima/APL to remove function-operator overloading and improve specific primitives
- APL\iv to simplify syntax (making parsing easier) and the array model
- BQN for numerous reasons including leading axis theory, redesigned glyphs, and removing implicit stranding
Of these, J has built a large enough user base to develop its own backwards compatibility concerns, even though early J design was fairly loose with respect to backwards compatibility. Beginning with version 8.07 in 2018 it has removed various features that are considered less important.
The specific error messages produced by any given error is considered less important keep constant. The standards indeed leave it up to the implementations too decide the order in which various aspects of code validity is checked. For example
'ABC'×1 2 3 4 could be a LENGTH ERROR (3 vs. 4 elements) or a DOMAIN ERROR (attempting to multiply characters). Implementations are known to change the precedence of such errors.
Errors can disappear altogether when the domains of primitives are extended, or additional syntax is added. For example, it is common practice to insert a deliberate error into a function, in order to force execution to halt, and the tracing interface to appear. The traditional way to do so was to insert a line with one a function on it. The FinnAPL idiom library includes
738. Syntax error to stop execution
but this will simply print
* in dialects that allow primitive functions to be named. Another common phrase was
*** as this is easy to search for while being exceedingly unlikely to appear in code. However, with the adoption of trains, this too became valid, and is likely to print verbatim rather than stop execution. APLcart includes
... for the same purpose, relying on the continued prohibition against immediately adjacent dyadic operators other than for outer product (
Newer and less commercial APLs such as APL\iv, April, or ngn/apl tend to be less focused on backwards compatibility than historical ones. These dialects tend to take most design choices from a well-known APL such as Dyalog APL or GNU APL, but make small breaks for experimentation or address particular issues. They typically do not support features that were historically important but are now rarely used, such as shared variables or Branch, and may discard features that are still in use but have an adequate replacement, for example removing tradfns in favor of dfns.
|APL development |
|Interface||Session ∙ Typing glyphs (on Linux) ∙ Fonts ∙ Text editors|
|Publications||Introductions ∙ Learning resources ∙ Simple examples ∙ Advanced examples ∙ Mnemonics ∙ Standards ∙ A Dictionary of APL ∙ Case studies ∙ Documentation suites ∙ Books ∙ Papers ∙ Videos ∙ Periodicals ∙ Terminology (Chinese, German) ∙ Neural networks ∙ Error trapping with Dyalog APL (in forms)|
|Sharing code||Backwards compatibility ∙ APLcart ∙ APLTree ∙ APL-Cation ∙ Dfns workspace ∙ Tatin ∙ Cider|
|Implementation||Developers (APL2000, Dyalog, GNU APL community, IBM, IPSA, STSC) ∙ Resources ∙ Open-source ∙ Magic function ∙ Performance ∙ APL hardware|