SHARP APL: Difference between revisions

From APL Wiki
Jump to navigation Jump to search
(Add influence on Dyalog)
m (Replaced legacy website link to York University Computer Museum with the current one.)
 
(23 intermediate revisions by 2 users not shown)
Line 8: Line 8:
| released                = 1976 via [[time-sharing]]; around 1979 as a product
| released                = 1976 via [[time-sharing]]; around 1979 as a product
| withdrawn                = around 1993
| withdrawn                = around 1993
| latest release           = 002.140 / 1988
| latest release version  = 20 / 1989
| platforms                = S/370, x86
| platforms                = S/370, x86
| operating systems        = DOS/390, DOS, UNIX (AIX, Solaris), Linux
| operating systems        = DOS/390, DOS, UNIX (AIX, Solaris), Linux
Line 14: Line 14:
| developer                = [[I.P. Sharp Associates]]
| developer                = [[I.P. Sharp Associates]]
| influenced by            = [[APL\360]]
| influenced by            = [[APL\360]]
| influenced              = [[SAX]], [[J]], [[A+]], [[K]], [[Dyalog APL]]
| influenced              = [[SAX]], [[J]], [[A+]], [[K]], [[Dyalog APL]], [[SHARP APL/HP]]
| file ext                = .saw, .saf, .sam
| file ext                = .saw, .saf, .sam
| download                = [http://www.sigapl.org/Archives/waterloo_archive/apl/sharp.apl/index.html SIGAPL]
| download                = [http://www.sigapl.org/Archives/waterloo_archive/apl/sharp.apl/index.html SIGAPL]
Line 21: Line 21:
'''SHARP APL''' was an APL implementation offered by [[I.P. Sharp Associates]] (IPSA), originally as part of its [[time-sharing]] service and later as a stand-alone product. It was split off from [[STSC]]'s [[APL*PLUS]], which until then had been sold jointly by the two companies. SHARP APL was the source of many developments in [[flat array theory]], driven by [[Ken Iverson]] and other APL designers at IPSA.
'''SHARP APL''' was an APL implementation offered by [[I.P. Sharp Associates]] (IPSA), originally as part of its [[time-sharing]] service and later as a stand-alone product. It was split off from [[STSC]]'s [[APL*PLUS]], which until then had been sold jointly by the two companies. SHARP APL was the source of many developments in [[flat array theory]], driven by [[Ken Iverson]] and other APL designers at IPSA.


== Primitive functions ==
== Releases ==


=== Arithmetic ===
Releases began to be identified primarily by number rather than date beginning with 17.0. From this point, new primitives and other major language changes were added in *.0 releases; many point releases were not updates to the interpreter itself but to other components. For example, release 17.4 updated the printing facility HSPRINT. Point releases affecting the interpreter generally added or extended [[quad name]]s and [[system command]]s, or improved performance. Release number 18 was apparently skipped.


==== Scalar ====
{|class=wikitable
 
! Number !! Released !! Features
All scalar functions have rank zero.
|-
 
|        || 1980    || Compress extended to [[Replicate]]; [[LCM]] and [[GCD]]; [[Grade]] on rank >1<ref>IPSA. [https://www.softwarepreservation.org/projects/apl/Manuals/SharpAPLManualCorrections/view SHARP APL Reference Manual Additions and Corrections, June 1981]</ref>
{| class=wikitable
! Glyph                              !! Monadic                !! Dyadic
|-
|-
| <source lang=apl inline>+</source> || [[Conjugate]]/Identity || [[Addition]]
|       || 1981-05  || Enclosed arrays; [[Enclose]] (<syntaxhighlight lang=apl inline><</syntaxhighlight>), [[Mix|Disclose]] (<syntaxhighlight lang=apl inline>></syntaxhighlight>), [[Match]] (<syntaxhighlight lang=apl inline>≡</syntaxhighlight>); operators [[Atop|Over]] (<syntaxhighlight lang=apl inline>⍥</syntaxhighlight>), [[Over|On]] (<syntaxhighlight lang=apl inline>⍤</syntaxhighlight>), [[Under|With]] (<syntaxhighlight lang=apl inline>¨</syntaxhighlight>); [[complex number]]s<ref>IPSA Newsletter July/August 1981 ([https://www.snakeisland.com/IPSANewsletter_1981_07_08.pdf pdf])</ref>
|-
|-
| <source lang=apl inline>-</source> || [[Negate]]            || [[Subtraction]]
|       || 1982-05  || Generalized [[determinant]] (<syntaxhighlight lang=apl inline>.</syntaxhighlight>); debugging and formatting improvements<ref>IPSA Newsletter July/August 1982 ([https://www.snakeisland.com/IPSANewsletter_1982_07_08.pdf pdf])</ref>
|-
|-
| <source lang=apl inline>×</source> || [[Signum]]             || [[Multiplication]]
|       || 1982-11  || [[Complex Floor]], Ceiling, and Residue; reference-counted implementation<ref>IPSA Newsletter November/December 1982 ([https://www.snakeisland.com/IPSANewsletter_1982_11_12.pdf pdf])</ref>
|-
|-
| <source lang=apl inline>÷</source> || [[Reciprocal]]         || [[Division]]
| 15    || 1983-05  || [[Rank operator]] and [[Function rank]]; [[Left|Lev]] (<syntaxhighlight lang=apl inline>⊣</syntaxhighlight>), [[Right|Dex]] (<syntaxhighlight lang=apl inline>⊢</syntaxhighlight>), [[Link]] (<syntaxhighlight lang=apl inline>⊃</syntaxhighlight>)<ref>[https://www.jsoftware.com/papers/satn45.htm "Language Extensions of May 1983"]. SATN-45, 1983-05-02.</ref>
|-
|-
| <source lang=apl inline>*</source> || [[Exponential]]        || [[Power function|Power]]
| 17    || 1985-01<ref>York University Computer Museum. [https://museum.eecs.yorku.ca/collections/show/15 SHARP APL collection catalogue].</ref> || Improvements in internal architecture
|-
|-
| <source lang=apl inline>⍟</source> || [[Natural Logarithm]] || [[Logarithm|Base-⍺ Logarithm]]
| 19    || 1987-03  || Short left argument for [[Take]]/[[Drop]]; [[Table]] (<syntaxhighlight lang=apl inline>⍪</syntaxhighlight>)<ref>[[Robert Bernecky]]. [https://dl.acm.org/citation.cfm?id=55632 An Introduction to Function Rank] at [[APL88]]. [[APL Quote Quad]], Volume 18, Issue 2. December 1987.</ref>
|-
|-
| <source lang=apl inline>|</source> || [[Magnitude]]         || [[Residue]]
| 20    || 1989-09  || [[Find|In]] (<syntaxhighlight lang=apl inline>⍷</syntaxhighlight>), [[Nubsieve]] (<syntaxhighlight lang=apl inline>≠</syntaxhighlight>), [[Raze]] (<syntaxhighlight lang=apl inline>↓</syntaxhighlight>); padding for [[Mix|Disclose]] (<syntaxhighlight lang=apl inline>></syntaxhighlight>)<ref>[[IPSA]]. [https://archive.org/details/sharp-apl-release-20.0-guide-for-apl-programmers "SHARP APL Release 20.0: Guide for APL Programmers"].</ref>
|}
 
== Primitive functions ==
 
The primitives shown here are those for SHARP APL around 1987, near the end of the decline of [[time-sharing]] APL. Some primitives from [[A Dictionary of APL]] were added after this, including [[Find|In]] (<syntaxhighlight lang=apl inline>⍷</syntaxhighlight>), [[Nubsieve]] (<syntaxhighlight lang=apl inline>≠</syntaxhighlight>), and [[Raze]] (<syntaxhighlight lang=apl inline>↓</syntaxhighlight>), and these appear in [[SAX]].
 
=== Scalar ===
 
All scalar functions have rank zero.
 
{| class=wikitable
! Glyph                              !! Monadic                !! Dyadic
|-
|-
| <source lang=apl inline>!</source> || [[Factorial]]         || Out-Of/[[Combinations]]
| <syntaxhighlight lang=apl inline>+</syntaxhighlight> || [[Conjugate]]                 || [[Addition]]
|-
|-
| <source lang=apl inline>⌊</source> || [[Floor]]             || [[Minimum]]
| <syntaxhighlight lang=apl inline>-</syntaxhighlight> || [[Negate]]                     || [[Subtraction]]
|-
|-
| <source lang=apl inline>⌈</source> || [[Ceiling]]           || [[Maximum]]
| <syntaxhighlight lang=apl inline>×</syntaxhighlight> || [[Signum]]                     || [[Multiplication]]
|-
|-
| <source lang=apl inline>○</source> || [[Pi Times]]           || [[Circle functions]]
| <syntaxhighlight lang=apl inline>÷</syntaxhighlight> || [[Reciprocal]]                 || [[Division]]
|-
|-
| <source lang=apl inline>∧</source> ||                       || [[And]]/Least Common Multiple (LCM)
| <syntaxhighlight lang=apl inline>*</syntaxhighlight> || [[Exponential]]                || [[Power (function)|Power]]
|-
|-
| <source lang=apl inline>∨</source> ||                       || [[Or]]/Greatest Common Divisor (GCD)
| <syntaxhighlight lang=apl inline>⍟</syntaxhighlight> || [[Natural Logarithm]]          || [[Logarithm|Base-⍺ Logarithm]]
|-
|-
| <source lang=apl inline>⍲</source> ||                       || [[Nand]]
| <syntaxhighlight lang=apl inline>|</syntaxhighlight> || [[Magnitude]]                  || [[Residue]]
|-
|-
| <source lang=apl inline>⍱</source> ||                       || [[Nor]]
| <syntaxhighlight lang=apl inline>!</syntaxhighlight> || [[Factorial]]                  || [[Binomial]]
|-
|-
| <source lang=apl inline>~</source> || [[Not]]               || See [[#Miscellaneous|Miscellaneous]]
| <syntaxhighlight lang=apl inline>⌊</syntaxhighlight> || [[Floor]]                     || [[Minimum]]
|-
|-
| <source lang=apl inline>?</source> || [[Roll]]               || See [[#Non-Scalar|Non-scalar]]
| <syntaxhighlight lang=apl inline>⌈</syntaxhighlight> || [[Ceiling]]                   || [[Maximum]]
|}
 
==== Non-scalar ====
 
{| class=wikitable
! Glyph                          !! Rank !! Monadic              !! Ranks !! Dyadic
|-
|-
| <source lang=apl inline>⌹</source> || 2 || [[Matrix inverse]]     || ∞ 2 || [[Matrix divide]]
| <syntaxhighlight lang=apl inline>○</syntaxhighlight> || [[Pi Times]]                   || [[Circle functions]]
|-
|-
| <source lang=apl inline>?</source> ||   || See [[#Scalar|Scalar]] || * * || [[Deal]]
| <syntaxhighlight lang=apl inline>∧</syntaxhighlight> ||                               || [[And]]/[[LCM]]
|-
|-
| <source lang=apl inline>⊤</source> ||   ||                        || ∞ ∞ || [[Encode]]
| <syntaxhighlight lang=apl inline>∨</syntaxhighlight> ||                               || [[Or]]/[[GCD]]
|-
|-
| <source lang=apl inline>⊥</source> ||   ||                        || ∞ ∞ || [[Decode]]
| <syntaxhighlight lang=apl inline>⍲</syntaxhighlight> ||                               || [[Nand]]
|}
 
=== Relational ===
 
{| class=wikitable
! Glyph                          !! Rank !! Monadic                            !! Ranks !! Dyadic
|-
|-
| <source lang=apl inline>=</source> ||   || See [[#Miscellaneous|Miscellaneous]] || 0 0 || [[Equals]]
| <syntaxhighlight lang=apl inline>⍱</syntaxhighlight> ||                               || [[Nor]]
|-
|-
| <source lang=apl inline>≠</source> ||   || See [[#Miscellaneous|Miscellaneous]] || 0 0 || [[Not Equals]]
| <syntaxhighlight lang=apl inline>~</syntaxhighlight> || [[Not]]                       ||
|-
|-
| <source lang=apl inline><</source> ||   || See [[#Structural|Structural]]       || 0 0 || [[Less Than]]
| <syntaxhighlight lang=apl inline>?</syntaxhighlight> || [[Roll]]                       || See [[#Non-scalar|Non-scalar]]
|-
|-
| <source lang=apl inline>≤</source> ||   ||                                      || 0 0 || [[Less Than or Equal]]
| <syntaxhighlight lang=apl inline>=</syntaxhighlight> ||                               || [[Equals]]
|-
|-
| <source lang=apl inline>≥</source> ||   ||                                      || 0 0 || [[Greater Than or Equal]]
| <syntaxhighlight lang=apl inline>≠</syntaxhighlight> ||                               || [[Not Equals]]
|-
|-
| <source lang=apl inline>></source> ||  || See [[#Structural|Structural]]       || 0 0 || [[Greater Than]]
| <syntaxhighlight lang=apl inline><</syntaxhighlight> || See [[#Non-scalar|Non-scalar]] || [[Less Than]]
|-
|-
| <source lang=apl inline>≡</source> ||   ||                                      || ∞ ∞ || [[Match]]
| <syntaxhighlight lang=apl inline>≤</syntaxhighlight> ||                               || [[Less Than or Equal]]
|-
|-
| <source lang=apl inline>∊</source> ||   ||                                      || 0 ∞ || [[Membership]]
| <syntaxhighlight lang=apl inline>≥</syntaxhighlight> ||                               || [[Greater Than or Equal]]
|-
|-
| <source lang=apl inline>⍷</source> ||   ||                                      || ∞ ∞ || [[Find]]
| <syntaxhighlight lang=apl inline>></syntaxhighlight> || See [[#Non-scalar|Non-scalar]] || [[Greater Than]]
|}
|}


=== Indexing ===
=== Non-scalar ===


{| class=wikitable
{| class=wikitable
! Glyph                          !! Rank !! Monadic                           !! Ranks !! Dyadic
! Glyph                          !! Rank !! Monadic             !! Ranks !! Dyadic
|-
|-
| <source lang=apl inline>@</source> ||   || See [[#Miscellaneous|Miscellaneous]] || 0 ∞ || [[Squad Index|From]]
| <syntaxhighlight lang=apl inline>⌹</syntaxhighlight> || 2 || [[Matrix inverse]]             || ∞ 2 || [[Matrix divide]]
|-
|-
| <source lang=apl inline>⍳</source> || 1 || [[Index Generator|Count]]           || 1 0 || [[Index Of]]
| <syntaxhighlight lang=apl inline>?</syntaxhighlight> ||   || See [[#Scalar|Scalar]]         || * * || [[Deal]]
|-
|-
| <source lang=apl inline>⍸</source> ||  ||                                     || ∞ ∞ || [[Indices of Match|Index]]
| <syntaxhighlight lang=apl inline>⊤</syntaxhighlight> ||  ||                                 || ∞ ∞ || [[Encode]]
|-
|-
| <source lang=apl inline>⍋</source> || ∞ || Numeric [[Grade up]]                || ∞ ∞ || Character [[Grade up]]
| <syntaxhighlight lang=apl inline>⊥</syntaxhighlight> ||   ||                                 || ∞ ∞ || [[Decode]]
|-
| <source lang=apl inline>⍒</source> || ∞ || Numeric [[Grade down]]              || ∞ ∞ || Character [[Grade down]]
|}
 
=== Structural ===
 
{| class=wikitable
! Glyph                          !! Rank !! Monadic                                !! Ranks !! Dyadic
|-
|-
| <source lang=apl inline>⍴</source> || ∞ || [[Shape|Shape of]]                        || 1 ∞ || [[Reshape]]
| <syntaxhighlight lang=apl inline>≡</syntaxhighlight> ||   ||                                 || ∞ ∞ || [[Match]]
|-
|-
| <source lang=apl inline>↑</source> ||  || See [[#Miscellaneous|Miscellaneous]]      || 1 ∞ || [[Take]]
| <syntaxhighlight lang=apl inline>∊</syntaxhighlight> ||  ||                                 || 0 ∞ || [[Membership]]
|-
|-
| <source lang=apl inline>↓</source> || ∞ || [[Raze]]                                 || 1 ∞ || [[Drop]]
| <syntaxhighlight lang=apl inline>⍳</syntaxhighlight> || 1 || [[Index Generator|Count]]       || 1 0 || [[Index Of]]
|-
|-
| <source lang=apl inline><</source> || ∞ || [[Enclose]]/Box                          ||     || See [[#Relational|Relational]]
| <syntaxhighlight lang=apl inline>⍋</syntaxhighlight> || ∞ || Numeric [[Grade up]]           || ∞ ∞ || Character [[Grade up]]
|-
|-
| <source lang=apl inline>⊃</source> || ∞ || [[Enclose if simple|Conditional Enclose]] || ∞ ∞ || [[Link]]
| <syntaxhighlight lang=apl inline>⍒</syntaxhighlight> || ∞ || Numeric [[Grade down]]         || ∞ ∞ || Character [[Grade down]]
|-
|-
| <source lang=apl inline>></source> || 0 || [[Disclose]]/Open                        ||     || See [[#Relational|Relational]]
| <syntaxhighlight lang=apl inline>⍴</syntaxhighlight> || ∞ || [[Shape|Shape of]]             || 1 ∞ || [[Reshape]]
|-
|-
| <source lang=apl inline>,</source> || ∞ || [[Ravel]]                                 || ∞ ∞ || [[Catenate]]
| <syntaxhighlight lang=apl inline>↑</syntaxhighlight> ||   ||                                || 1 ∞ || [[Take]]
|-
|-
| <source lang=apl inline>⍪</source> || ∞ || [[Table]]                                 || ∞ ∞ || [[Catenate First|Catenate-Down]]
| <syntaxhighlight lang=apl inline>↓</syntaxhighlight> ||   ||                                || 1 ∞ || [[Drop]]
|-
|-
| <source lang=apl inline>⌽</source> || 1 || [[Reverse]]                               || 0 1 || [[Rotate]]
| <syntaxhighlight lang=apl inline><</syntaxhighlight> || ∞ || [[Enclose]]                     ||     || See [[#Scalar|Scalar]]
|-
|-
| <source lang=apl inline>⊖</source> || ∞ || [[Reverse First|Reverse-Down]]           || ∞ ∞ || [[Rotate First|Rotate-Down]]
| <syntaxhighlight lang=apl inline>⊃</syntaxhighlight> || ∞ || [[Conditional enclose]]         || ∞ ∞ || [[Link]]
|-
|-
| <source lang=apl inline>⍉</source> || ∞ || Monadic [[Transpose]]                     || 0 ∞ || Dyadic [[Transpose]]
| <syntaxhighlight lang=apl inline>></syntaxhighlight> || 0 || [[Mix|Disclose]]                   ||     || See [[#Scalar|Scalar]]
|}
 
=== Miscellaneous ===
 
{| class=wikitable
! Glyph                          !! Rank !! Monadic                !! Ranks !! Dyadic
|-
|-
| <source lang=apl inline>⊣</source> || ∞ || [[Stop]]                 || ∞ ∞ || [[Left Identity|Left]]
| <syntaxhighlight lang=apl inline>,</syntaxhighlight> || ∞ || [[Ravel]]                       || ∞ ∞ || [[Catenate]]
|-
|-
| <source lang=apl inline>⊢</source> || ∞ || [[Identity|Pass]]         || ∞ ∞ || [[Right Identity|Right]]
| <syntaxhighlight lang=apl inline>⍪</syntaxhighlight> || ∞ || [[Table]]                       || ∞ ∞ || [[Catenate First]]
|-
|-
| <source lang=apl inline>≠</source> || ∞ || [[Nubsieve]]             ||     || See [[#Relational|Relational]]
| <syntaxhighlight lang=apl inline>⌽</syntaxhighlight> || 1 || [[Reverse]]                     || 0 1 || [[Rotate]]
|-
|-
| <source lang=apl inline>↑</source> || ∞ || [[Nub]]                   ||     || See [[#Structural|Structural]]
| <syntaxhighlight lang=apl inline>⊖</syntaxhighlight> || ∞ || [[Reverse First]]               || ∞ ∞ || [[Rotate First]]
|-
|-
| <source lang=apl inline>=</source> || ∞ || [[Nubin]]                 ||     || See [[#Relational|Relational]]
| <syntaxhighlight lang=apl inline>⍉</syntaxhighlight> || ∞ || Monadic [[Transpose]]           || 0 ∞ || Dyadic [[Transpose]]
|-
|-
| <source lang=apl inline>~</source> ||   || See [[#Scalar|Scalar]]   || ∞ ∞ || [[Without|Less]]
| <syntaxhighlight lang=apl inline>⊣</syntaxhighlight> || ∞ || [[Stop]]                       || ∞ ∞ || [[Left Identity|Left]]
|-
|-
| <source lang=apl inline>@</source> || 1 || [[Cartesian Product|All]] ||     || See [[#Indexing|Indexing]]
| <syntaxhighlight lang=apl inline>⊢</syntaxhighlight> || ∞ || [[Identity|Pass]]               || ∞ ∞ || [[Right Identity|Right]]
|-
|-
| <source lang=apl inline>⍕</source> || ∞ || [[Monadic Format]]       || * ∞ || [[Dyadic Format]]
| <syntaxhighlight lang=apl inline>⍕</syntaxhighlight> || ∞ || [[Monadic Format]]             || * ∞ || [[Dyadic Format]]
|-
|-
| <source lang=apl inline>⍎</source> || * || [[Execute]]               ||    ||
| <syntaxhighlight lang=apl inline>⍎</syntaxhighlight> || * || [[Execute]]                     ||    ||
|}
|}


Line 178: Line 162:
! Glyph !!colspan=2|Operands !!colspan=2|Ranks !! Monadic Call  !! Dyadic Call
! Glyph !!colspan=2|Operands !!colspan=2|Ranks !! Monadic Call  !! Dyadic Call
|-
|-
| <source lang=apl inline>/</source> ||                                    || <source lang=apl inline>f</source> || <source lang=apl inline>∞</source>  ||                                        || [[Reduce]]                      ||
| <syntaxhighlight lang=apl inline>/</syntaxhighlight> ||                                    || <syntaxhighlight lang=apl inline>f</syntaxhighlight> || <syntaxhighlight lang=apl inline>∞</syntaxhighlight>  ||                                        || [[Reduce]]                      ||
|-
| <source lang=apl inline>⌿</source> ||                                    || <source lang=apl inline>f</source> || <source lang=apl inline>∞</source>  ||                                        || [[Reduce First|Reduce-down]]    ||
|-
| <source lang=apl inline>\</source> ||                                    || <source lang=apl inline>f</source> || <source lang=apl inline>∞</source>  ||                                        || [[Scan]]                        ||
|-
| <source lang=apl inline>⍀</source> ||                                    || <source lang=apl inline>f</source> || <source lang=apl inline>∞</source>  ||                                        || [[Scan First|Scan-down]]        ||
|-
|-
| <source lang=apl inline>/</source> ||                                    || <source lang=apl inline>m</source> || <source lang=apl inline>∞</source>  ||                                        || [[Replicate|Copy]]/[[Compress]] ||
| <syntaxhighlight lang=apl inline>⌿</syntaxhighlight> ||                                    || <syntaxhighlight lang=apl inline>f</syntaxhighlight> || <syntaxhighlight lang=apl inline>∞</syntaxhighlight>  ||                                        || [[Reduce First]]               ||
|-
|-
| <source lang=apl inline>⌿</source> ||                                    || <source lang=apl inline>m</source> || <source lang=apl inline>∞</source>  ||                                        || [[Replicate|Copy]]-down/[[Compress]]-down ||
| <syntaxhighlight lang=apl inline>\</syntaxhighlight> ||                                    || <syntaxhighlight lang=apl inline>f</syntaxhighlight> || <syntaxhighlight lang=apl inline>∞</syntaxhighlight>  ||                                        || [[Scan]]                       ||
|-
|-
| <source lang=apl inline>\</source> ||                                    || <source lang=apl inline>m</source> || <source lang=apl inline>∞</source>  ||                                        || [[Expand]]                     ||
| <syntaxhighlight lang=apl inline>⍀</syntaxhighlight> ||                                    || <syntaxhighlight lang=apl inline>f</syntaxhighlight> || <syntaxhighlight lang=apl inline>∞</syntaxhighlight>  ||                                        || [[Scan First]]                 ||
|-
|-
| <source lang=apl inline>⍀</source> ||                                    || <source lang=apl inline>m</source> || <source lang=apl inline>∞</source>  ||                                        || [[Expand First|Expand-down]]   ||
| <syntaxhighlight lang=apl inline>/</syntaxhighlight> ||                                    || <syntaxhighlight lang=apl inline>m</syntaxhighlight> || <syntaxhighlight lang=apl inline>∞</syntaxhighlight>  ||                                        || [[Replicate]]                   ||
|-
|-
| <source lang=apl inline>⊂</source> ||                                    || <source lang=apl inline>f</source> || <source lang=apl inline>∞</source>  || <source lang=apl inline>rf lf</source> ||colspan=2| Swap
| <syntaxhighlight lang=apl inline>⌿</syntaxhighlight> ||                                    || <syntaxhighlight lang=apl inline>m</syntaxhighlight> || <syntaxhighlight lang=apl inline>∞</syntaxhighlight>  ||                                       || [[Replicate First]]            ||
|-
|-
| <source lang=apl inline>&</source> ||                                    || <source lang=apl inline>f</source> || <source lang=apl inline>∞</source>  || <source lang=apl inline>∞  ∞</source>  ||colspan=2| Select
| <syntaxhighlight lang=apl inline>\</syntaxhighlight> ||                                    || <syntaxhighlight lang=apl inline>m</syntaxhighlight> || <syntaxhighlight lang=apl inline>∞</syntaxhighlight>  ||                                       || [[Expand]]                      ||
|-
|-
| <source lang=apl inline>⍤</source> || <source lang=apl inline>f</source> || <source lang=apl inline>g</source> || <source lang=apl inline>mg</source> || <source lang=apl inline>mg mg</source> ||colspan=2| On ([[close Over]])
| <syntaxhighlight lang=apl inline>⍀</syntaxhighlight> ||                                   || <syntaxhighlight lang=apl inline>m</syntaxhighlight> || <syntaxhighlight lang=apl inline>∞</syntaxhighlight> ||                                       || [[Expand First]]               ||
|-
|-
| <source lang=apl inline>⍤</source> || <source lang=apl inline>f</source> || <source lang=apl inline>n</source> || <source lang=apl inline>n</source> || <source lang=apl inline>n  n</source> ||colspan=2| [[Rank operator|Rank]]
| <syntaxhighlight lang=apl inline>⍤</syntaxhighlight> || <syntaxhighlight lang=apl inline>f</syntaxhighlight> || <syntaxhighlight lang=apl inline>g</syntaxhighlight> || <syntaxhighlight lang=apl inline>mg</syntaxhighlight> || <syntaxhighlight lang=apl inline>mg mg</syntaxhighlight> ||colspan=2| On ([[close Over]])
|-
|-
| <source lang=apl inline>⍤</source> || <source lang=apl inline>m</source> || <source lang=apl inline>g</source> || <source lang=apl inline>mg</source> || <source lang=apl inline>mg mg</source> ||colspan=2| [[Cut operator|Cut]]
| <syntaxhighlight lang=apl inline>⍤</syntaxhighlight> || <syntaxhighlight lang=apl inline>f</syntaxhighlight> || <syntaxhighlight lang=apl inline>n</syntaxhighlight> || <syntaxhighlight lang=apl inline>n</syntaxhighlight> || <syntaxhighlight lang=apl inline>n  n</syntaxhighlight> ||colspan=2| [[Rank operator|Rank]]
|-
|-
| <source lang=apl inline>⍥</source> || <source lang=apl inline>f</source> || <source lang=apl inline>g</source> || <source lang=apl inline>mg</source> || <source lang=apl inline>mg mg</source> ||colspan=2| Upon ([[close Atop]])
| <syntaxhighlight lang=apl inline>⍤</syntaxhighlight> || <syntaxhighlight lang=apl inline>m</syntaxhighlight> || <syntaxhighlight lang=apl inline>g</syntaxhighlight> || <syntaxhighlight lang=apl inline>mg</syntaxhighlight> || <syntaxhighlight lang=apl inline>mg mg</syntaxhighlight> ||colspan=2| [[Cut]]
|-
|-
| <source lang=apl inline>¨</source> || <source lang=apl inline>f</source> || <source lang=apl inline>g</source> || <source lang=apl inline>mg</source> || <source lang=apl inline>mg mg</source> ||colspan=2| [[close Under|Under]]
| <syntaxhighlight lang=apl inline>⍥</syntaxhighlight> || <syntaxhighlight lang=apl inline>f</syntaxhighlight> || <syntaxhighlight lang=apl inline>g</syntaxhighlight> || <syntaxhighlight lang=apl inline>mg</syntaxhighlight> || <syntaxhighlight lang=apl inline>mg mg</syntaxhighlight> ||colspan=2| Upon ([[close Atop]])
|-
|-
| <source lang=apl inline>¨</source> || <source lang=apl inline>m</source> || <source lang=apl inline>g</source> || <source lang=apl inline>mg</source> ||                                       ||rowspan="2"|With ([[Bind]])    ||
| <syntaxhighlight lang=apl inline>¨</syntaxhighlight> || <syntaxhighlight lang=apl inline>f</syntaxhighlight> || <syntaxhighlight lang=apl inline>g</syntaxhighlight> || <syntaxhighlight lang=apl inline>mg</syntaxhighlight> || <syntaxhighlight lang=apl inline>mg mg</syntaxhighlight> ||colspan=2| [[close Under|Dual]]
|-
|-
| <source lang=apl inline>¨</source> || <source lang=apl inline>f</source> || <source lang=apl inline>n</source> || <source lang=apl inline>mf</source> ||                                        ||
| <syntaxhighlight lang=apl inline>¨</syntaxhighlight> || <syntaxhighlight lang=apl inline>m</syntaxhighlight> || <syntaxhighlight lang=apl inline>g</syntaxhighlight> || <syntaxhighlight lang=apl inline>mg</syntaxhighlight> ||                                        ||rowspan="2"|With ([[Bind]])    ||
|-
|-
| <source lang=apl inline>.</source> || <source lang=apl inline>f</source> || <source lang=apl inline>g</source> || <source lang=apl inline>2</source> || <source lang=apl inline>∞  ∞</source>  || [[Alternant]]                  || [[Inner Product|Inner-product]]
| <syntaxhighlight lang=apl inline>¨</syntaxhighlight> || <syntaxhighlight lang=apl inline>f</syntaxhighlight> || <syntaxhighlight lang=apl inline>n</syntaxhighlight> || <syntaxhighlight lang=apl inline>mf</syntaxhighlight> ||                                       ||
|-
|-
| <source lang=apl inline>.</source> || <source lang=apl inline>m</source> || <source lang=apl inline>g</source> ||                                     || <source lang=apl inline>∞  ∞</source>  ||                                || [[Tie]], [[Outer Product|Outer-product]]
| <syntaxhighlight lang=apl inline>.</syntaxhighlight> || <syntaxhighlight lang=apl inline>f</syntaxhighlight> || <syntaxhighlight lang=apl inline>g</syntaxhighlight> || <syntaxhighlight lang=apl inline>2</syntaxhighlight>  || <syntaxhighlight lang=apl inline>∞  ∞</syntaxhighlight>  || [[Determinant]]                 || [[Inner Product]]
|-
|-
| <source lang=apl inline>.</source> || <source lang=apl inline>f</source> || <source lang=apl inline>m</source> || <source lang=apl inline>mf</source> ||                                       || [[Ply]]                         ||
| <syntaxhighlight lang=apl inline>.</syntaxhighlight> || <syntaxhighlight lang=apl inline>m</syntaxhighlight> || <syntaxhighlight lang=apl inline>g</syntaxhighlight> ||                                    || <syntaxhighlight lang=apl inline>∞  ∞</syntaxhighlight> ||                                 || [[Outer Product]]
|}
|}


Line 307: Line 285:
| 35 || 1980-08-15 ||  ||            || Peter Wooster        || Extended [[Grade|Upgrade and Downgrade]]
| 35 || 1980-08-15 ||  ||            || Peter Wooster        || Extended [[Grade|Upgrade and Downgrade]]
|-
|-
| 36 || 1980-04-20 ||  ||            || [[Ken Iverson]]      || [[Direct definition|Direct Definition]]
| 36 || 1980-04-20 ||  ||            || [[Ken Iverson]]      || [[Direct definition (notation)|Direct Definition]]
|-
|-
| 37 ||            || 1 || 1982-06-01 || John D. Burger      || IBM 3270 User Guide
| 37 ||            || 1 || 1982-06-01 || John D. Burger      || IBM 3270 User Guide
Line 332: Line 310:
|}
|}


== References ==
<references/>
{{APL dialects}}[[Category:APL dialects]][[Category:Flat array languages]][[Category:Leading axis languages]]
{{APL dialects}}[[Category:APL dialects]][[Category:Flat array languages]][[Category:Leading axis languages]]

Latest revision as of 03:25, 11 May 2024

SHARP APL running under DOSBox

SHARP APL was an APL implementation offered by I.P. Sharp Associates (IPSA), originally as part of its time-sharing service and later as a stand-alone product. It was split off from STSC's APL*PLUS, which until then had been sold jointly by the two companies. SHARP APL was the source of many developments in flat array theory, driven by Ken Iverson and other APL designers at IPSA.

Releases

Releases began to be identified primarily by number rather than date beginning with 17.0. From this point, new primitives and other major language changes were added in *.0 releases; many point releases were not updates to the interpreter itself but to other components. For example, release 17.4 updated the printing facility HSPRINT. Point releases affecting the interpreter generally added or extended quad names and system commands, or improved performance. Release number 18 was apparently skipped.

Number Released Features
1980 Compress extended to Replicate; LCM and GCD; Grade on rank >1[1]
1981-05 Enclosed arrays; Enclose (<), Disclose (>), Match (≡); operators Over (⍥), On (⍤), With (¨); complex numbers[2]
1982-05 Generalized determinant (.); debugging and formatting improvements[3]
1982-11 Complex Floor, Ceiling, and Residue; reference-counted implementation[4]
15 1983-05 Rank operator and Function rank; Lev (⊣), Dex (⊢), Link (⊃)[5]
17 1985-01[6] Improvements in internal architecture
19 1987-03 Short left argument for Take/Drop; Table (⍪)[7]
20 1989-09 In (⍷), Nubsieve (≠), Raze (↓); padding for Disclose (>)[8]

Primitive functions

The primitives shown here are those for SHARP APL around 1987, near the end of the decline of time-sharing APL. Some primitives from A Dictionary of APL were added after this, including In (⍷), Nubsieve (≠), and Raze (↓), and these appear in SAX.

Scalar

All scalar functions have rank zero.

Glyph Monadic Dyadic
+ Conjugate Addition
- Negate Subtraction
× Signum Multiplication
÷ Reciprocal Division
* Exponential Power
⍟ Natural Logarithm Base-⍺ Logarithm
| Magnitude Residue
! Factorial Binomial
⌊ Floor Minimum
⌈ Ceiling Maximum
○ Pi Times Circle functions
∧ And/LCM
∨ Or/GCD
⍲ Nand
⍱ Nor
~ Not
? Roll See Non-scalar
= Equals
≠ Not Equals
< See Non-scalar Less Than
≤ Less Than or Equal
≥ Greater Than or Equal
> See Non-scalar Greater Than

Non-scalar

Glyph Rank Monadic Ranks Dyadic
⌹ 2 Matrix inverse ∞ 2 Matrix divide
? See Scalar * * Deal
⊤ ∞ ∞ Encode
⊥ ∞ ∞ Decode
≡ ∞ ∞ Match
∊ 0 ∞ Membership
⍳ 1 Count 1 0 Index Of
⍋ ∞ Numeric Grade up ∞ ∞ Character Grade up
⍒ ∞ Numeric Grade down ∞ ∞ Character Grade down
⍴ ∞ Shape of 1 ∞ Reshape
↑ 1 ∞ Take
↓ 1 ∞ Drop
< ∞ Enclose See Scalar
⊃ ∞ Conditional enclose ∞ ∞ Link
> 0 Disclose See Scalar
, ∞ Ravel ∞ ∞ Catenate
⍪ ∞ Table ∞ ∞ Catenate First
⌽ 1 Reverse 0 1 Rotate
⊖ ∞ Reverse First ∞ ∞ Rotate First
⍉ ∞ Monadic Transpose 0 ∞ Dyadic Transpose
⊣ ∞ Stop ∞ ∞ Left
⊢ ∞ Pass ∞ ∞ Right
⍕ ∞ Monadic Format * ∞ Dyadic Format
⍎ * Execute

Primitive Operators

Glyph Operands Ranks Monadic Call Dyadic Call
/ f ∞ Reduce
⌿ f ∞ Reduce First
\ f ∞ Scan
⍀ f ∞ Scan First
/ m ∞ Replicate
⌿ m ∞ Replicate First
\ m ∞ Expand
⍀ m ∞ Expand First
⍤ f g mg mg mg On (close Over)
⍤ f n n n n Rank
⍤ m g mg mg mg Cut
⍥ f g mg mg mg Upon (close Atop)
¨ f g mg mg mg Dual
¨ m g mg With (Bind)
¨ f n mf
. f g 2 ∞ ∞ Determinant Inner Product
. m g ∞ ∞ Outer Product

Implementation

Numeric types

SHARP originally supported only real numbers using double (8-byte) precision. Numbers were stored in one of three types:

  • Boolean, with one bit per value
  • Integer, with four bytes per value
  • Floating, with eight bytes per value

SATN-40 describes the addition of complex numbers to SHARP APL.

SHARP APL Technical Notes

Features of SHARP APL were documented in "technical notes" issued by IPSA. These notes are numbered following the scheme "SATN-0". Earlier notes typically had no author listed. A pdf collection of SHARP APL Technical Notes is hosted at jsoftware.com, as are html transcriptions of some notes, linked in the table below.

Number Issued Revised Author Title
0 1976-01-01 SATN Introduction
1 1976-01-01 TASKID
2 5 1979-02-14 Control Messages
3 1976-01-01 ⎕OUT
4 2 1978-04-01 N-tasks and B-tasks
5 2 1978-08-01 Batch APL
6 1976-01-01 Execute
7 1976-01-01 Latent Expression
8 2 1978-03-01 HSPRINT
9 1 1979-08-01 John D. Burger Usage Inquiry System
10 2 1978-06-01 SORTREQ
11 1976-01-01 )RESET
12 1976-01-01 )COPY
13 1978-03-10 Early Warnings
14 2 1978-08-15 Package - A New Variable Type
15 Index
16 1976-04-20 File System Must-Write Buffers
17 1976-06-01 Formatting Primitive
18 1976-07-01 ⎕FMT
19 1977-01-01 Fileprint
20 4 1978-06-01 System Variables, Session Variables and System Functions
21 1 1978-06-01 ⎕WS and ⎕FD
22 2 1979-01-01 Bob Bernecky and Mike Symes APL Worspace Transfer
23 1977-06-10 1 1978-07-15 Bob Bernecky Comparison Tolerance (web)
24 1977-03-23 Symbol Table
25 1977-05-15 Extensions to Argument Passing
26 1977-09-10 Enhancements to the File System
28 1977-07-11 Terminal Control
29 1978-06-15 System Time and Timestamps
30 1979-01-01 Numeric Display
31 1979-02-01 Line Editing in SHARP APL
32 1979-03-30 Shared Variables
33 1979-03-26 Event Trapping
34 1980-08-15 Bob Bernecky Replication
35 1980-08-15 Peter Wooster Extended Upgrade and Downgrade
36 1980-04-20 Ken Iverson Direct Definition
37 1 1982-06-01 John D. Burger IBM 3270 User Guide
39 1981-06-01 Richard Lathwell The SHARP APL S-task Interface
40 1981-06-20 Eugene McDonnell Complex Numbers (web)
41 1981-06-20 Ken Iverson Composition and Enclosure (web)
42 1982-04-01 Ken Iverson Determinant-Like Functions Produced by the Dot-Operator (web)
43 1982-11-05 Peter Wooster Improved Display for Enclosed Arrays and a New System Variable ⎕PS
44 1983-04-02 Robert C. Metzger Enhancements to Event Handling
45 1983-05-02 Various Language Extensions of May 1983
46 1983-08-05 Eric Iverson Enhancements Provided in Update #1 to the May 1983 Release of SHARP APL
47 1983-10-01 Mike Symes IBM 3270 User Guide (IDSH)
48 1983-11-30 John D. Burger Workspace 1 HCPRINT

References

  1. ↑ IPSA. SHARP APL Reference Manual Additions and Corrections, June 1981
  2. ↑ IPSA Newsletter July/August 1981 (pdf)
  3. ↑ IPSA Newsletter July/August 1982 (pdf)
  4. ↑ IPSA Newsletter November/December 1982 (pdf)
  5. ↑ "Language Extensions of May 1983". SATN-45, 1983-05-02.
  6. ↑ York University Computer Museum. SHARP APL collection catalogue.
  7. ↑ Robert Bernecky. An Introduction to Function Rank at APL88. APL Quote Quad, Volume 18, Issue 2. December 1987.
  8. ↑ IPSA. "SHARP APL Release 20.0: Guide for APL Programmers".
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
Retrieved from ‘https://aplwiki.com/index.php?title=SHARP_APL&oldid=11442’