SHARP APL: Difference between revisions

From APL Wiki
Jump to navigation Jump to search
m (20 revisions imported: Migrate from miraheze)
(→‎Releases: Add Table to release 19)
 
(34 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{Infobox array language
{{Infobox array language
| logo                    = [[File:Sharp APL logo.png]]
| array model              = [[Flat array model|flat]] with [[Box|boxes]]
| array model              = [[Flat array model|flat]] with [[Box|boxes]]
| index origin            = 0 or 1
| index origin            = 0 or 1
| function styles          = [[defined functions]]
| function styles          = [[defined function]]s
| numeric types            = 64-bit float, complex
| numeric types            = [[complex]] floats
| unicode support          = none
| unicode support          = none
| released                = around 1979
| 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 13: 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]]
| 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]
}}
}}
[[File:Old SHARP APL.png|thumb|right|SHARP APL running under DOSBox]]
[[File:Old SHARP APL.png|thumb|right|SHARP APL running under DOSBox]]
'''SHARP APL''' was a standalone version of APL offered by [[I.P. Sharp Associates]] (IPSA), who had previously offered APL interpretation as a timesharing service. IPSA employed many notable APL designers including [[Ken Iverson]], and SHARP APL was the source of many developments in [[flat array theory]].
'''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 ==


=== Arithmetic ===
== Releases ==


==== Scalar ====
A partial list of SHARP's major releases is shown.


All scalar functions have rank zero.
{|class=wikitable
 
! Number !! Released !! Features
{| class=wikitable
|-
! Glyph                              !! Monadic                !! Dyadic
|        || 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>
|-
|-
| <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. [http://www.cse.yorku.ca/museum/collections/IPSA/ipsa_col.html SHARP APL collection catalogue].</ref> ||
|-
|-
| <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 || [[Iota|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]]
| <syntaxhighlight lang=apl inline></syntaxhighlight> ||   ||                                 || ∞ ∞ || [[Match]]
|}
 
=== Structural ===
 
{| class=wikitable
! Glyph                          !! Rank !! Monadic                                !! Ranks !! Dyadic
|-
|-
| <source lang=apl inline></source> || ∞ || [[Shape|Shape of]]                        || 1 ∞ || [[Reshape]]
| <syntaxhighlight lang=apl inline></syntaxhighlight> ||   ||                                 || 0 ∞ || [[Membership]]
|-
|-
| <source lang=apl inline></source> ||   || See [[#Miscellaneous|Miscellaneous]]     || 1 || [[Take]]
| <syntaxhighlight lang=apl inline></syntaxhighlight> || 1 || [[Index Generator|Count]]       || 1 0 || [[Index Of]]
|-
|-
| <source lang=apl inline></source> || ∞ || [[Raze]]                                 || 1 ∞ || [[Drop]]
| <syntaxhighlight lang=apl inline></syntaxhighlight> || ∞ || Numeric [[Grade up]]           || ∞ || Character [[Grade up]]
|-
|-
| <source lang=apl inline><</source> || ∞ || [[Enclose]]/Box                          ||     || See [[#Relational|Relational]]
| <syntaxhighlight lang=apl inline></syntaxhighlight> || ∞ || Numeric [[Grade down]]         || ∞ ∞ || Character [[Grade down]]
|-
|-
| <source lang=apl inline></source> || ∞ || [[Enclose if simple|Conditional Enclose]] || ∞ || [[Link]]
| <syntaxhighlight lang=apl inline></syntaxhighlight> || ∞ || [[Shape|Shape of]]             || 1 ∞ || [[Reshape]]
|-
|-
| <source lang=apl inline>></source> || 0 || [[Disclose]]/Open                        ||     || See [[#Relational|Relational]]
| <syntaxhighlight lang=apl inline></syntaxhighlight> ||   ||                                 || 1 ∞ || [[Take]]
|-
|-
| <source lang=apl inline>,</source> || || [[Ravel]]                                 || ∞ || [[Catenate]]
| <syntaxhighlight lang=apl inline></syntaxhighlight> ||   ||                                || 1 ∞ || [[Drop]]
|-
|-
| <source lang=apl inline></source> || ∞ || [[Table]]                                 || ∞ ∞ || [[Catenate First|Catenate-Down]]
| <syntaxhighlight lang=apl inline><</syntaxhighlight> || ∞ || [[Enclose]]                     ||     || See [[#Scalar|Scalar]]
|-
|-
| <source lang=apl inline></source> || 1 || [[Reverse]]                               || 0 1 || [[Rotate]]
| <syntaxhighlight lang=apl inline></syntaxhighlight> || || [[Conditional enclose]]         || ∞ ∞ || [[Link]]
|-
|-
| <source lang=apl inline></source> || || [[Reverse First|Reverse-Down]]           || ∞ ∞ || [[Rotate First|Rotate-Down]]
| <syntaxhighlight lang=apl inline>></syntaxhighlight> || 0 || [[Mix|Disclose]]                   ||     || See [[#Scalar|Scalar]]
|-
| <source lang=apl inline>⍉</source> || ∞ || Monadic [[Transpose]]                    || 0 ∞ || Dyadic [[Transpose]]
|}
 
=== 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 176: 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]]       ||
| <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]]/[[Compress]] ||
| <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>  ||                                        || [[Replicate|Copy]]-down/[[Compress]]-down ||
| <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]]                     ||
| <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>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 First]]             ||
|-
|-
| <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>  ||                                       || [[Expand]]                      ||
|-
|-
| <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 First]]                ||
|-
|-
| <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>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>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>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>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>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| Upon ([[close Atop]])
| <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>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| [[close Under|Dual]]
|-
|-
| <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>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>n</source> || <source lang=apl inline>mf</source> ||                                        ||
| <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>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>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>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>m</syntaxhighlight> || <syntaxhighlight lang=apl inline>g</syntaxhighlight> ||                                    || <syntaxhighlight lang=apl inline>∞  ∞</syntaxhighlight>  ||                                || [[Outer 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]]                         ||
|}
|}


Line 228: Line 208:
[https://www.jsoftware.com/papers/satn40.htm SATN-40] describes the addition of complex numbers to SHARP APL.
[https://www.jsoftware.com/papers/satn40.htm SATN-40] describes the addition of complex numbers to SHARP APL.


== External links ==
== SHARP APL Technical Notes ==


[[wikipedia:I._P._Sharp_Associates|Wikipedia]]
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 [https://www.jsoftware.com/papers/SATN.pdf pdf collection] of SHARP APL Technical Notes is hosted at jsoftware.com, as are html transcriptions of some notes, linked in the table below.
 
{|class=wikitable
! Number !! Issued !!colspan=2| 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|Comparison Tolerance]] ([https://www.jsoftware.com/papers/satn23.htm 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 editor|Line Editing]] in SHARP APL
|-
| 32 || 1979-03-30 ||  ||            ||                      || Shared Variables
|-
| 33 || 1979-03-26 ||  ||            ||                      || Event Trapping
|-
| 34 || 1980-08-15 ||  ||            || [[Bob Bernecky]]    || [[Replicate|Replication]]
|-
| 35 || 1980-08-15 ||  ||            || Peter Wooster        || Extended [[Grade|Upgrade and Downgrade]]
|-
| 36 || 1980-04-20 ||  ||            || [[Ken Iverson]]      || [[Direct definition (notation)|Direct Definition]]
|-
| 37 ||            || 1 || 1982-06-01 || John D. Burger      || IBM 3270 User Guide
|-
| 39 || 1981-06-01 ||  ||            || [[Richard Lathwell]] || [https://www.jsoftware.com/papers/satn39.htm The SHARP APL S-task Interface]
|-
| 40 || 1981-06-20 ||  ||            || [[Eugene McDonnell]] || [[Complex number|Complex Numbers]] ([https://www.jsoftware.com/papers/satn40.htm web])
|-
| 41 || 1981-06-20 ||  ||            || [[Ken Iverson]]     || [[Close composition|Composition]] and [[Box function|Enclosure]] ([https://www.jsoftware.com/papers/satn41.htm web])
|-
| 42 || 1982-04-01 ||  ||            || [[Ken Iverson]]      || [[Determinant]]-Like Functions Produced by the Dot-Operator ([https://www.jsoftware.com/papers/satn42.htm 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              || [https://www.jsoftware.com/papers/satn45.htm 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
|}


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

Latest revision as of 13:26, 17 March 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

A partial list of SHARP's major releases is shown.

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]
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+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