NARS: Difference between revisions

From APL Wiki
Jump to navigation Jump to search
m (Text replacement - "<source" to "<syntaxhighlight")
m (Text replacement - "</source>" to "</syntaxhighlight>")
Line 20: Line 20:
== Primitives ==
== Primitives ==


NARS was an extension of [[APL*PLUS]], which used the [[APL.SV]] primitive set, except for [[Execute]] (<syntaxhighlight lang=apl inline>⍎</source>). Only new primitives are shown here, with existing cases in parentheses.
NARS was an extension of [[APL*PLUS]], which used the [[APL.SV]] primitive set, except for [[Execute]] (<syntaxhighlight lang=apl inline>⍎</syntaxhighlight>). Only new primitives are shown here, with existing cases in parentheses.


=== Functions ===
=== Functions ===
Line 27: Line 27:
! Glyph                              !! Monadic              !! Dyadic
! Glyph                              !! Monadic              !! Dyadic
|-
|-
| <syntaxhighlight lang=apl inline>⊂</source> || [[Enclose]]          || [[Partitioned Enclose]]
| <syntaxhighlight lang=apl inline>⊂</syntaxhighlight> || [[Enclose]]          || [[Partitioned Enclose]]
|-
|-
| <syntaxhighlight lang=apl inline>⊃</source> || Disclose or [[First]] || [[Pick]]
| <syntaxhighlight lang=apl inline>⊃</syntaxhighlight> || Disclose or [[First]] || [[Pick]]
|-
|-
| <syntaxhighlight lang=apl inline>⊤</source> || [[Type]]              ||
| <syntaxhighlight lang=apl inline>⊤</syntaxhighlight> || [[Type]]              ||
|-
|-
| <syntaxhighlight lang=apl inline>≡</source> || [[Simple (NARS)]]    || [[Equivalent]]
| <syntaxhighlight lang=apl inline>≡</syntaxhighlight> || [[Simple (NARS)]]    || [[Equivalent]]
|-
|-
| <syntaxhighlight lang=apl inline>≢</source> || [[Not-Simple]]        || [[Inequivalent]]
| <syntaxhighlight lang=apl inline>≢</syntaxhighlight> || [[Not-Simple]]        || [[Inequivalent]]
|-
|-
| <syntaxhighlight lang=apl inline>↓</source> || [[Split]]            || ([[Drop]])
| <syntaxhighlight lang=apl inline>↓</syntaxhighlight> || [[Split]]            || ([[Drop]])
|-
|-
| <syntaxhighlight lang=apl inline>↑</source> || [[Mix]]              || ([[Take]])
| <syntaxhighlight lang=apl inline>↑</syntaxhighlight> || [[Mix]]              || ([[Take]])
|-
|-
| <syntaxhighlight lang=apl inline>∪</source> || [[Unique]]            || [[Union]]
| <syntaxhighlight lang=apl inline>∪</syntaxhighlight> || [[Unique]]            || [[Union]]
|-
|-
| <syntaxhighlight lang=apl inline>~</source> ||                      || [[Set Difference]]
| <syntaxhighlight lang=apl inline>~</syntaxhighlight> ||                      || [[Set Difference]]
|-
|-
| <syntaxhighlight lang=apl inline>∩</source> ||                      || [[Intersection]]
| <syntaxhighlight lang=apl inline>∩</syntaxhighlight> ||                      || [[Intersection]]
|-
|-
| <syntaxhighlight lang=apl inline>⍪</source> ||                      || [[Catenate]] along the First Dimension
| <syntaxhighlight lang=apl inline>⍪</syntaxhighlight> ||                      || [[Catenate]] along the First Dimension
|}
|}


Line 57: Line 57:
! Syntax                                !! Monadic call              !! Dyadic call
! Syntax                                !! Monadic call              !! Dyadic call
|-
|-
| <syntaxhighlight lang=apl inline>f/</source>  || ([[Reduction]])            || Dyadic Reduction ([[Windowed Reduction]])
| <syntaxhighlight lang=apl inline>f/</syntaxhighlight>  || ([[Reduction]])            || Dyadic Reduction ([[Windowed Reduction]])
|-
|-
| <syntaxhighlight lang=apl inline>f\</source>  || ([[Scan]])                || Dyadic Scan
| <syntaxhighlight lang=apl inline>f\</syntaxhighlight>  || ([[Scan]])                || Dyadic Scan
|-
|-
| <syntaxhighlight lang=apl inline>f¨</source>  ||colspan=2| [[Each]]
| <syntaxhighlight lang=apl inline>f¨</syntaxhighlight>  ||colspan=2| [[Each]]
|-
|-
| <syntaxhighlight lang=apl inline>f⍨</source>  ||                            || [[Commute]]
| <syntaxhighlight lang=apl inline>f⍨</syntaxhighlight>  ||                            || [[Commute]]
|-
|-
| <syntaxhighlight lang=apl inline>f⍣B</source>  || [[Power (operator)|Power]] ||
| <syntaxhighlight lang=apl inline>f⍣B</syntaxhighlight>  || [[Power (operator)|Power]] ||
|-
|-
| <syntaxhighlight lang=apl inline>f⍣∘</source>  || [[Power Limit]]            ||
| <syntaxhighlight lang=apl inline>f⍣∘</syntaxhighlight>  || [[Power Limit]]            ||
|-
|-
| <syntaxhighlight lang=apl inline>f⍣∘</source>  || [[Power Series (operator)|Power Series]] ||
| <syntaxhighlight lang=apl inline>f⍣∘</syntaxhighlight>  || [[Power Series (operator)|Power Series]] ||
|-
|-
| <syntaxhighlight lang=apl inline>f∘g</source>  ||colspan=2| Composition ([[Beside]])
| <syntaxhighlight lang=apl inline>f∘g</syntaxhighlight>  ||colspan=2| Composition ([[Beside]])
|-
|-
| <syntaxhighlight lang=apl inline>A∘g</source>  ||rowspan=2| Composition ([[Bind]])  ||
| <syntaxhighlight lang=apl inline>A∘g</syntaxhighlight>  ||rowspan=2| Composition ([[Bind]])  ||
|-
|-
| <syntaxhighlight lang=apl inline>f∘B</source>  ||
| <syntaxhighlight lang=apl inline>f∘B</syntaxhighlight>  ||
|-
|-
| <syntaxhighlight lang=apl inline>f⍢g</source>  ||colspan=2| [[Dual]]
| <syntaxhighlight lang=apl inline>f⍢g</syntaxhighlight>  ||colspan=2| [[Dual]]
|-
|-
| <syntaxhighlight lang=apl inline>∘.g</source>  || Function Table            || ([[Outer Product]])
| <syntaxhighlight lang=apl inline>∘.g</syntaxhighlight>  || Function Table            || ([[Outer Product]])
|-
|-
| <syntaxhighlight lang=apl inline>A⍡</source>  ||                            || [[Convolution operator]]
| <syntaxhighlight lang=apl inline>A⍡</syntaxhighlight>  ||                            || [[Convolution operator]]
|-
|-
| <syntaxhighlight lang=apl inline>A∘/</source> ||                            || [[Mask]]
| <syntaxhighlight lang=apl inline>A∘/</syntaxhighlight> ||                            || [[Mask]]
|-
|-
| <syntaxhighlight lang=apl inline>A∘\</source> ||                            || [[Mesh]]
| <syntaxhighlight lang=apl inline>A∘\</syntaxhighlight> ||                            || [[Mesh]]
|-
|-
!colspan=3| [[Direct definition (NARS)|Direct definition]]
!colspan=3| [[Direct definition (NARS)|Direct definition]]
|-
|-
| <syntaxhighlight lang=apl inline>∘∇B</source> || [[Monadic]]                ||
| <syntaxhighlight lang=apl inline>∘∇B</syntaxhighlight> || [[Monadic]]                ||
|-
|-
| <syntaxhighlight lang=apl inline>A∇∘</source> ||                            || [[Dyadic]]
| <syntaxhighlight lang=apl inline>A∇∘</syntaxhighlight> ||                            || [[Dyadic]]
|-
|-
| <syntaxhighlight lang=apl inline>A∇B</source> ||colspan=2| [[Ambivalent]]
| <syntaxhighlight lang=apl inline>A∇B</syntaxhighlight> ||colspan=2| [[Ambivalent]]
|}
|}


Line 100: Line 100:
* [[Stranding]] and [[stranded assignment]] syntax were added.
* [[Stranding]] and [[stranded assignment]] syntax were added.
* The primitive array [[Zilde]] was introduced.
* The primitive array [[Zilde]] was introduced.
* The assignment arrow <syntaxhighlight lang=apl inline>←</source> with nothing to the left was used to indicate [[Sink]], which prevented display of a value.
* The assignment arrow <syntaxhighlight lang=apl inline>←</syntaxhighlight> with nothing to the left was used to indicate [[Sink]], which prevented display of a value.
* [[Defined function]]s were extended to allow an ambivalent case.
* [[Defined function]]s were extended to allow an ambivalent case.
* [[Choose indexing]] was added.
* [[Choose indexing]] was added.

Revision as of 22:11, 10 September 2022


STSC's APL*PLUS Nested Arrays System (acronymized NARS, from "Nested Array Research System") was the first commercial nested APL implementation. Drawing on work by Jim Brown, Trenchard More, and development manager Bob Smith, NARS introduced a new set of functions for working with arrays that contain arrays, as well as many new operators such as Power.[2] It was heavily influenced by Ken Iverson's 1978 paper Operators and Functions, and as a result features the first implementations of many primitives that were later added to SHARP APL and J under Iverson's direct supervision.

Primitives

NARS was an extension of APL*PLUS, which used the APL.SV primitive set, except for Execute (). Only new primitives are shown here, with existing cases in parentheses.

Functions

Glyph Monadic Dyadic
Enclose Partitioned Enclose
Disclose or First Pick
Type
Simple (NARS) Equivalent
Not-Simple Inequivalent
Split (Drop)
Mix (Take)
Unique Union
~ Set Difference
Intersection
Catenate along the First Dimension

Additionally, Index Generator was extended to allow a vector argument, Replicate and Expand were extended to allow integer left arguments, and Reshape was extended to allow an empty right argument (using fill elements).

Operators

Syntax Monadic call Dyadic call
f/ (Reduction) Dyadic Reduction (Windowed Reduction)
f\ (Scan) Dyadic Scan
Each
f⍨ Commute
f⍣B Power
f⍣∘ Power Limit
f⍣∘ Power Series
f∘g Composition (Beside)
A∘g Composition (Bind)
f∘B
f⍢g Dual
∘.g Function Table (Outer Product)
A⍡ Convolution operator
A∘/ Mask
A∘\ Mesh
Direct definition
∘∇B Monadic
A∇∘ Dyadic
A∇B Ambivalent

Other functionality

References


APL dialects [edit]
Maintained APL+WinAPL2APL64APL\ivApletteAprilCo-dfnsDyalog APLDyalog APL Visiondzaima/APLGNU APLKapNARS2000Pometo
Historical A Programming LanguageA+ (A) ∙ APL#APL2CAPL\360APL/700APL\1130APL\3000APL.68000APL*PLUSAPL.jlAPL.SVAPLXExtended Dyalog APLIverson notationIVSYS/7090NARSngn/aplopenAPLOperators and FunctionsPATRowanSAXSHARP APLRationalized APLVisualAPL (APLNext) ∙ VS APLYork APL
Derivatives AHPLBQNCoSyELIGleeIIvyJJellyK (Goal, Klong, Q) ∙ KamilaLispLang5LilNialRADUiua
Overviews Comparison of APL dialectsTimeline of array languagesTimeline of influential array languagesFamily tree of array languages