Compose: Difference between revisions

From APL Wiki
Jump to navigation Jump to search
No edit summary
m (Text replacement - "<source" to "<syntaxhighlight")
Line 1: Line 1:
{{Built-in|Compose|∘}} or '''Composition''' is the most common name for the [[primitive operator|primitive]] [[dyadic operator]] denoted with a [[Jot]] (<source lang=apl inline>∘</source>) introduced by [[NARS]] and included in the [[Dyalog APL]] family. On the APL Wiki, Compose is divided into its two cases, [[Beside]] when both [[operand]]s are [[function]]s, and [[Bind]] when one is a function and the other an [[array]].
{{Built-in|Compose|∘}} or '''Composition''' is the most common name for the [[primitive operator|primitive]] [[dyadic operator]] denoted with a [[Jot]] (<syntaxhighlight lang=apl inline>∘</source>) introduced by [[NARS]] and included in the [[Dyalog APL]] family. On the APL Wiki, Compose is divided into its two cases, [[Beside]] when both [[operand]]s are [[function]]s, and [[Bind]] when one is a function and the other an [[array]].


{{quote|Composition assembles functions and arguments to form derived functions. This provides the glue with which to put together functions and arguments so that operator's arguments can be more complex than single functions.<ref>Carl M. Cheney. ''APL*PLUS Nested Arrays System'' ([[NARS]] reference manual). [[STSC]]. 1981.</ref>}}
{{quote|Composition assembles functions and arguments to form derived functions. This provides the glue with which to put together functions and arguments so that operator's arguments can be more complex than single functions.<ref>Carl M. Cheney. ''APL*PLUS Nested Arrays System'' ([[NARS]] reference manual). [[STSC]]. 1981.</ref>}}


In [[Ken Iverson]]'s designs [[Rationalized APL]], [[A Dictionary of APL]], and the [[J]] language, the composition (<source lang=apl inline>⍤</source>) or Compose (<source lang=j inline>&</source>) refers to a different kind of composition, the [[Over]] operator.
In [[Ken Iverson]]'s designs [[Rationalized APL]], [[A Dictionary of APL]], and the [[J]] language, the composition (<syntaxhighlight lang=apl inline>⍤</source>) or Compose (<syntaxhighlight lang=j inline>&</source>) refers to a different kind of composition, the [[Over]] operator.


More recently, the term "[[function composition|composition]]" is used in [[Dyalog APL]] to refer to any of a family of operators including [[Beside]] and [[Bind]] (<source lang=apl inline>∘</source>), [[Commute]] and [[Constant]] (<source lang=apl inline>⍨</source>), [[Atop]] (<source lang=apl inline>⍤</source>), and [[Over]] (<source lang=apl inline>⍥</source>).<ref>[[Marshall Lochbaum]]. [https://dyalog.tv/Dyalog19/?v=czWC4tjwzOQ Tacit Techniques with Dyalog version 18.0 Operators] ([https://www.dyalog.com/uploads/conference/dyalog19/presentations/D04_Tacit_Techniques.zip slides]) at [[Dyalog '19]].</ref> [[Extended Dyalog APL]] and [[dzaima/APL]] add to this list the operators [[Under]] (<source lang=apl inline>⍢</source>) and [[Reverse Compose]] (<source lang=apl inline>⍛</source>).
More recently, the term "[[function composition|composition]]" is used in [[Dyalog APL]] to refer to any of a family of operators including [[Beside]] and [[Bind]] (<syntaxhighlight lang=apl inline>∘</source>), [[Commute]] and [[Constant]] (<syntaxhighlight lang=apl inline>⍨</source>), [[Atop]] (<syntaxhighlight lang=apl inline>⍤</source>), and [[Over]] (<syntaxhighlight lang=apl inline>⍥</source>).<ref>[[Marshall Lochbaum]]. [https://dyalog.tv/Dyalog19/?v=czWC4tjwzOQ Tacit Techniques with Dyalog version 18.0 Operators] ([https://www.dyalog.com/uploads/conference/dyalog19/presentations/D04_Tacit_Techniques.zip slides]) at [[Dyalog '19]].</ref> [[Extended Dyalog APL]] and [[dzaima/APL]] add to this list the operators [[Under]] (<syntaxhighlight lang=apl inline>⍢</source>) and [[Reverse Compose]] (<syntaxhighlight lang=apl inline>⍛</source>).


== References ==
== References ==
<references />
<references />
{{APL built-ins}}[[Category:Primitive operators]][[Category:Composition operators]]
{{APL built-ins}}[[Category:Primitive operators]][[Category:Composition operators]]

Revision as of 22:05, 10 September 2022

∘

Compose (∘) or Composition is the most common name for the primitive dyadic operator denoted with a Jot (<syntaxhighlight lang=apl inline>∘</source>) introduced by NARS and included in the Dyalog APL family. On the APL Wiki, Compose is divided into its two cases, Beside when both operands are functions, and Bind when one is a function and the other an array.

Composition assembles functions and arguments to form derived functions. This provides the glue with which to put together functions and arguments so that operator's arguments can be more complex than single functions.[1]

In Ken Iverson's designs Rationalized APL, A Dictionary of APL, and the J language, the composition (<syntaxhighlight lang=apl inline>⍤</source>) or Compose (<syntaxhighlight lang=j inline>&</source>) refers to a different kind of composition, the Over operator.

More recently, the term "composition" is used in Dyalog APL to refer to any of a family of operators including Beside and Bind (<syntaxhighlight lang=apl inline>∘</source>), Commute and Constant (<syntaxhighlight lang=apl inline>⍨</source>), Atop (<syntaxhighlight lang=apl inline>⍤</source>), and Over (<syntaxhighlight lang=apl inline>⍥</source>).[2] Extended Dyalog APL and dzaima/APL add to this list the operators Under (<syntaxhighlight lang=apl inline>⍢</source>) and Reverse Compose (<syntaxhighlight lang=apl inline>⍛</source>).

References

  1. ↑ Carl M. Cheney. APL*PLUS Nested Arrays System (NARS reference manual). STSC. 1981.
  2. ↑ Marshall Lochbaum. Tacit Techniques with Dyalog version 18.0 Operators (slides) at Dyalog '19.
APL built-ins [edit]
Primitives (Timeline) Functions
Scalar
Monadic Conjugate ∙ Negate ∙ Signum ∙ Reciprocal ∙ Magnitude ∙ Exponential ∙ Natural Logarithm ∙ Floor ∙ Ceiling ∙ Factorial ∙ Not ∙ Pi Times ∙ Roll ∙ Type ∙ Imaginary ∙ Square Root ∙ Round
Dyadic Add ∙ Subtract ∙ Times ∙ Divide ∙ Residue ∙ Power ∙ Logarithm ∙ Minimum ∙ Maximum ∙ Binomial ∙ Comparison functions ∙ Boolean functions (And, Or, Nand, Nor) ∙ GCD ∙ LCM ∙ Circular ∙ Complex ∙ Root
Non-Scalar
Structural Shape ∙ Reshape ∙ Tally ∙ Depth ∙ Ravel ∙ Enlist ∙ Table ∙ Catenate ∙ Reverse ∙ Rotate ∙ Transpose ∙ Raze ∙ Mix ∙ Split ∙ Enclose ∙ Nest ∙ Cut (K) ∙ Pair ∙ Link ∙ Partitioned Enclose ∙ Partition
Selection First ∙ Pick ∙ Take ∙ Drop ∙ Unique ∙ Identity ∙ Stop ∙ Select ∙ Replicate ∙ Expand ∙ Set functions (Intersection ∙ Union ∙ Without) ∙ Bracket indexing ∙ Index ∙ Cartesian Product ∙ Sort
Selector Index generator ∙ Grade ∙ Index Of ∙ Interval Index ∙ Indices ∙ Deal ∙ Prefix and suffix vectors
Computational Match ∙ Not Match ∙ Membership ∙ Find ∙ Nub Sieve ∙ Encode ∙ Decode ∙ Matrix Inverse ∙ Matrix Divide ∙ Format ∙ Execute ∙ Materialise ∙ Range
Operators Monadic Each ∙ Commute ∙ Constant ∙ Replicate ∙ Expand ∙ Reduce ∙ Windowed Reduce ∙ Scan ∙ Outer Product ∙ Key ∙ I-Beam ∙ Spawn ∙ Function axis ∙ Identity (Null, Ident)
Dyadic Bind ∙ Compositions (Compose, Reverse Compose, Beside, Withe, Atop, Over) ∙ Inner Product ∙ Determinant ∙ Power ∙ At ∙ Under ∙ Rank ∙ Depth ∙ Variant ∙ Stencil ∙ Cut ∙ Direct definition (operator) ∙ Identity (Lev, Dex)
Quad names Index origin ∙ Comparison tolerance ∙ Migration level ∙ Atomic vector
Retrieved from ‘https://aplwiki.com/index.php?title=Compose&oldid=9396’