Stop: Difference between revisions

Jump to navigation Jump to search
Also in A+, where it returns an empty vector of symbols
(Created page with "{{Built-in|Stop|⊣}} (in SHARP APL and APLX) or '''Hide''' (in GNU APL and Kap) is a primitive monadic function that ignores its argument and returns a non-printing value. It shares the left tack glyph with Left Identity. The nature of the returned value can vary: for example an empty matrix is used in SAX and APLX, while GNU APL uses the scalar 0 but returns it as a shy result (or "committed"). In SHARP APL's initial implemen...")
 
(Also in A+, where it returns an empty vector of symbols)
Line 1: Line 1:
{{Built-in|Stop|⊣}} (in [[SHARP APL]] and [[APLX]]) or '''Hide''' (in [[GNU APL]] and [[Kap]]) is a [[primitive]] [[monadic function]] that ignores its argument and returns a non-printing value. It shares the left tack glyph with [[Left Identity]]. The nature of the returned value can vary: for example an empty [[matrix]] is used in [[SAX]] and APLX, while GNU APL uses the [[scalar]] 0 but returns it as a [[shy result]] (or "committed"). In SHARP APL's initial implementation of <syntaxhighlight lang=apl inline>⊣</syntaxhighlight>, Stop returned "no result", so that attempting to use its result would be an error.<ref>[https://www.jsoftware.com/papers/satn45.htm "Language Extensions of May 1983"]. SATN-45, 1983-05-02.</ref>
{{Built-in|Stop|⊣}} (in [[SHARP APL]] and [[APLX]]), '''Hide''' (in [[GNU APL]] and [[Kap]]), or '''Null''' (in [[A+]]) is a [[primitive]] [[monadic function]] that ignores its argument and returns a non-printing value. It shares the left tack glyph with [[Left Identity]]. The nature of the returned value can vary: for example an empty [[matrix]] is used in [[SAX]] and APLX, while GNU APL uses the [[scalar]] 0 but returns it as a [[shy result]] (or "committed"). In SHARP APL's initial implementation of <syntaxhighlight lang=apl inline>⊣</syntaxhighlight>, Stop returned "no result", so that attempting to use its result would be an error.<ref>[https://www.jsoftware.com/papers/satn45.htm "Language Extensions of May 1983"]. SATN-45, 1983-05-02.</ref>


In other dialects, monadic <syntaxhighlight lang=apl inline>⊣</syntaxhighlight> is the [[identity function]], exactly like <syntaxhighlight lang=apl inline>⊢</syntaxhighlight>. This redundancy means that it can be redefined without losing any primitive functionality. However, pairing both dyadic functions with the identity may be useful in constructing [[ambivalent]] functions, particularly in [[tacit]] programming. In [[April]], monadic <syntaxhighlight lang=apl inline>⊣</syntaxhighlight> ("Empty") returns its argument is returned as a shy result, giving it the properties of both Stop and the identity.
In other dialects, monadic <syntaxhighlight lang=apl inline>⊣</syntaxhighlight> is the [[identity function]], exactly like <syntaxhighlight lang=apl inline>⊢</syntaxhighlight>. This redundancy means that it can be redefined without losing any primitive functionality. However, pairing both dyadic functions with the identity may be useful in constructing [[ambivalent]] functions, particularly in [[tacit]] programming. In [[April]], monadic <syntaxhighlight lang=apl inline>⊣</syntaxhighlight> ("Empty") returns its argument is returned as a shy result, giving it the properties of both Stop and the identity.

Navigation menu