NARS2000
NARS2000 is an open-source APL interpreter written by Bob Smith, a prominent APL developer and implementer 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 the spiritual successor of the first NARS (Nested Arrays Research System) which was designed and implemented in the early 1980s as a testbed for new ideas in APL, principally with nested arrays.
Language ideas include new functions, operators, datatypes, and many other extensions. The project is free open source software.
Primitives
The following list is incomplete.
Functions
One feature of NARS2000 is its heavy use of experimental primitive functions & operators. In the table below, symbols which are unknown or obscure in the APL world are linked to the NARS2000 wiki rather than the APL wiki.
| Glyph | Monadic | Dyadic |
|---|---|---|
⍸ |
Indices | Array Lookup (high-rank Index-Of) |
< |
Condense | Less Than |
> |
Dilate | Greater Than |
\ |
Expand | |
⍷ |
Find | |
⍳ |
Index Generator | Index Of |
⌹ |
Matrix Inverse | Matrix Divide |
≢ |
Tally | Mismatch |
⊂ |
Partitioned Enclose | |
π |
Prime Factors | Number Theory |
⍴ |
Shape | Reshape |
√ |
Square Root | Root |
.. |
Sequence | |
⊆ |
Subset | |
⊇ |
Superset | |
§ |
Symmetric Difference | |
~ |
Not | Without |
≤ |
Contract | Less Than or Equal |
≥ |
Distract | Greater Than or Equal |
Operators
| Glyph | Valence | Monadic call | Dyadic call |
|---|---|---|---|
⍣ |
Dyadic | Power | |
⍨ |
Monadic | Duplicate | Commute |
⍥ |
Dyadic | Composition (Over) | |
∘ |
Dyadic | Compose | |
⍤ |
Dyadic | Rank | |
‼ |
Monadic | Combinatorial | |
⍡ |
Dyadic | Convolution | |
. |
Dyadic | Determinant | Inner Product |
∂ |
Monadic | Numerical (Partial) Derivative | |
∫ |
Monadic | Numerical Integral | |
⌻ |
Monadic | Matrix | |
⍦ |
Monadic | Multisets | |
⊙ |
Monadic | Null | |
a∘/ |
Special | Mask | |
a∘⌿ |
Special | Mask First | |
a∘\ |
Special | Mesh | |
a∘⍀ |
Special | Mesh First | |
⍠ |
Dyadic | Variant | |
≈ |
Monadic | Ball Arithmetic | |
Datatypes
Along with the Real numbers, NARS2000 supports the rest of the four Normed Division Algebra datatypes: Complex, Quaternion, and Octonion numbers, along with several Multi-Precision datatypes, and signed Infinities:
| Notation | Datatype |
|---|---|
1i2 |
Complex |
1i2j3k4 |
Quaternion |
1i2j3k4l5ij6jk7kl8 |
Octonion |
2.2x |
Rational Numbers |
2.2v |
Variable-precision Floating Point Numbers |
2.2± |
Ball Arithmetic |
∞ and ¯∞ |
Signed Infinities |
∅ |
Not-a-Number (NaN) |
Each of the 2, 4, or 8 coefficients of Hypercomplex numbers must all be the same Real number datatype (i.e., Boolean, Integer, Floating Point, Rational, Variable-precision Floating Point, or Ball Arithmetic), or else they will all be promoted to a single common Real number datatype.
Syntax
External links
| APL dialects [edit] | |
|---|---|
| Maintained | APL+Win ∙ APL2 ∙ APL64 ∙ APL\iv ∙ Aplette ∙ April ∙ Co-dfns ∙ Dyalog APL ∙ Dyalog APL Vision ∙ dzaima/APL ∙ GNU APL ∙ Kap ∙ NARS2000 ∙ Pometo ∙ TinyAPL |
| Historical | A Programming Language ∙ A+ (A) ∙ APL# ∙ APL2C ∙ APL\360 ∙ APL/700 ∙ APL\1130 ∙ APL\3000 ∙ APL.68000 ∙ APL*PLUS ∙ APL.jl ∙ APL.SV ∙ APLX ∙ Extended Dyalog APL ∙ Iverson notation ∙ IVSYS/7090 ∙ NARS ∙ ngn/apl ∙ openAPL ∙ Operators and Functions ∙ PAT ∙ Rowan ∙ SAX ∙ SHARP APL ∙ Rationalized APL ∙ VisualAPL (APLNext) ∙ VS APL ∙ York APL |
| Derivatives | AHPL ∙ BQN ∙ CoSy ∙ ELI ∙ Glee ∙ I ∙ Ivy ∙ J ∙ Jelly ∙ K (Goal, Klong, Q) ∙ KamilaLisp ∙ Lang5 ∙ Lil ∙ Nial ∙ RAD ∙ Uiua |
| Overviews | Comparison of APL dialects ∙ Timeline of array languages ∙ Timeline of influential array languages ∙ Family tree of array languages |