4,500
edits
(Created page with "{{Built-in|Under|⍢}} is a primitive dyadic operator which takes two function operands. It pre-processes it's argument(s) with the monadic...") |
m (Text replacement - "</source>" to "</syntaxhighlight>") |
||
(12 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
{{Built-in|Under|⍢}} is a [[primitive operator|primitive]] [[dyadic operator]] which takes two [[function]] [[operand]]s. It pre-processes | {{Built-in|Under|⍢}}, or '''Dual''' (<syntaxhighlight lang=apl inline>¨</syntaxhighlight>), is a [[primitive operator|primitive]] [[dyadic operator]] which takes two [[function]] [[operand]]s. It pre-processes its argument(s) with the monadic right operand, before applying the left operand on/between the result(s), then undoing the pre-processing.<ref>[https://mlochbaum.github.io/BQN/help/under.html BQN: Circle Jot (⌾)]</ref> | ||
== Model == | == Model == | ||
In dialects that support user-defined operators and invertible functions, it can be defined as (or similar): | In dialects that support user-defined operators and invertible functions, it can be defined as (or similar): | ||
<syntaxhighlight lang=apl> _U_ ← {⍺←{⍵ ⋄ ⍺⍺} ⋄ ⍵⍵⍣¯1⊢(⍵⍵ ⍺)⍺⍺(⍵⍵ ⍵)}</syntaxhighlight> | |||
== Examples == | == Examples == | ||
The following example solves [https://leetcode.com/problems/add-two-numbers/ a LeetCode problem] which asks to add two numbers given as reversed digit lists: | |||
<syntaxhighlight lang=apl> | |||
== | 2 4 3 +_U_(10⊥⌽) 5 6 4 | ||
7 0 8 | |||
</syntaxhighlight> | |||
First, each argument is reversed, then decoded from base 10. The addition is performed. Finally, the result is encoded to base 10 and reversed. | |||
== Close composition == | |||
===References | In [[SHARP APL]] and [[J]], Under is implemented as a [[close composition]], meaning that (using SHARP syntax) <syntaxhighlight lang=apl inline>f¨g</syntaxhighlight> has the overall [[function rank]] of <syntaxhighlight lang=apl inline>g</syntaxhighlight>. This allows <syntaxhighlight lang=apl inline>¨></syntaxhighlight> to serve the purpose of [[Each]] from a [[Nested array model|nested]] APL. J uses <syntaxhighlight lang=j inline>&.</syntaxhighlight> for the close form and <syntaxhighlight lang=j inline>&.:</syntaxhighlight> for the rankless form. | ||
== History == | |||
The most widely known form of Under for much of APL's history was [[SHARP APL]]'s Dual operator, written <syntaxhighlight lang=apl inline>¨</syntaxhighlight> and defined as a [[close composition]]. It was presented by [[Ken Iverson]] and [[Bob Bernecky]] with the name "with" in 1980,<ref>[[Bob Bernecky]] and [[Ken Iverson]]. [https://www.jsoftware.com/papers/opea.htm Operators and Enclosed Arrays] at [[IPSA '80]]</ref> and implemented for only a small number of right operands in 1981.<ref>[https://www.jsoftware.com/papers/satn41.htm "Composition and Enclosure"]. SATN-41, 1981-06-20.</ref> The name "Dual" was used in [[Rationalized APL]] in 1983, and the full SHARP implementation using [[function rank]] was completed just after.<ref>[https://www.jsoftware.com/papers/satn45.htm "Language Extensions of May 1983"]. SATN-45, 1983-05-02.</ref> Iverson changed the name to Under for his 1987 [[A Dictionary of APL]], and [[J]] uses this name as well. It includes both a close form <syntaxhighlight lang=j inline>&.</syntaxhighlight> like SHARP and a non-close form <syntaxhighlight lang=j inline>&.:</syntaxhighlight>. | |||
However, Iverson had defined the Dual operator with glyph <syntaxhighlight lang=apl inline>⍢</syntaxhighlight> in his 1978 paper [[Operators and Functions]],<ref>[[Ken Iverson]]. [https://www.jsoftware.com/papers/opfns.htm ''Operators and Functions''], §8 Composition and Duality. IBM Research Report #RC7091. 1978-04-26.</ref> using a non-close form because [[function rank]] had not yet been invented. [[NARS]] featured this operator in 1981, preceding SHARP's limited implementation. [[Roger Hui]] proposed Under with the same definition as a potential addition to [[Dyalog APL]] at [[Dyalog '15]], and it was added to both [[Extended Dyalog APL]] and [[dzaima/APL]] in 2018. | |||
Structural Under was developed by [[Marshall Lochbaum]] around 2017,<ref>[[Marshall Lochbaum]]. [https://mlochbaum.github.io/BQN/commentary/history.html#structural-under BQN's development history: Structural Under].</ref> and was included in Extended Dyalog initially and added to dzaima/APL in 2020. Later [[dzaima]] would implement <syntaxhighlight lang=apl inline>⍢×</syntaxhighlight> and <syntaxhighlight lang=apl inline>⍢|</syntaxhighlight> in the same spirit, now featured in dzaima/APL and [[dzaima/BQN]]. The language [[BQN]] has included structural and computational Under, using the glyph <code>⌾</code>, since its initial design in 2020. | |||
== External links == | |||
* [[J]]: <syntaxhighlight lang=j inline>&.</syntaxhighlight> [https://code.jsoftware.com/wiki/Vocabulary/ampdot NuVoc], [https://www.jsoftware.com/help/dictionary/d631.htm dictionary]; <syntaxhighlight lang=j inline>&.:</syntaxhighlight> [https://code.jsoftware.com/wiki/Vocabulary/ampdotco NuVoc], [https://www.jsoftware.com/help/dictionary/d631c.htm dictionary] | |||
* [https://mlochbaum.github.io/BQN/doc/under.html BQN] | |||
== References == | |||
<references/> | <references/> | ||
{{APL built-ins}}[[Category:Primitive operators]][[Category:Composition operators]] | {{APL built-ins}}[[Category:Primitive operators]][[Category:Composition operators]] |