Constant

From APL Wiki
Revision as of 04:54, 15 July 2020 by Bubbler (talk | contribs) (Created page with "{{Built-in|Constant|⍨}} is a monadic operator which takes an array as its operand and becomes a function which returns the operand array regardless of its ...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Constant () is a monadic operator which takes an array as its operand and becomes a function which returns the operand array regardless of its arguments. It was first introduced in Extended Dyalog APL, and was adopted in Dyalog APL 18.0 as an alternative to the constant dfn such as {0}.

Examples

The need for Constant arises in various contexts, such as at the rightmost branch in a train and mapping over an array to create a constant-filled one. The major advantage of Constant A⍨ over a constant dfn {A} is that the array A is evaluated only once at definition time, rather than every time the function is called.

Trains

If the rightmost branch of a train is an array, it is not recognised as a train at all. This problem can be worked around in many ways, but none is visually appealing. The Constant operator gives a natural solution to this problem.

f0←{(⍺+⍵)*3}  ⍝ Converting this function to a train was a mess:
fx←+*3        ⍝ This does not work; it evaluates to a number (conjugate of exponential of 3)
f1←3*⍨+       ⍝ A workaround using Commute; it changes the order of visual tokens
f2←*∘3+       ⍝ A workaround using Bind; ditto
f3←+*{3}      ⍝ A workaround using a constant dfn

f4←+*3⍨       ⍝ A solution using Constant

Other uses

Sometimes, one needs a constant function that returns one of the arguments of the outer dfn. Simply writing {⍺} does not work; ⍺⍨ does.

      1 0 0 1{'⎕'@{⍺}⍵}'AbcD'
VALUE ERROR             
 1 0 0 1{'⎕'@{⍺}⍵}'AbcD'
             ∧     
      1 0 0 1{'⎕'@(⍺⍨)⍵}'AbcD'
⎕bc⎕

Using Constant is also cleaner when doing a constant fill.

      {1}¨2 3⍴⎕A  ⍝ Without Constant
1 1 1
1 1 1
      1⍨¨2 3⍴⎕A   ⍝ With Constant
1 1 1
1 1 1

External links

Webinars

Lessons

Documentation


APL built-ins [edit]
Primitives (Timeline) Functions
Scalar
Monadic ConjugateNegateSignumReciprocalMagnitudeExponentialNatural LogarithmFloorCeilingFactorialNotPi TimesRollTypeImaginarySquare RootRound
Dyadic AddSubtractTimesDivideResiduePowerLogarithmMinimumMaximumBinomialComparison functionsBoolean functions (And, Or, Nand, Nor) ∙ GCDLCMCircularComplexRoot
Non-Scalar
Structural ShapeReshapeTallyDepthRavelEnlistTableCatenateReverseRotateTransposeRazeMixSplitEncloseNestCut (K)PairLinkPartitioned EnclosePartition
Selection FirstPickTakeDropUniqueIdentityStopSelectReplicateExpandSet functions (IntersectionUnionWithout) ∙ Bracket indexingIndexCartesian ProductSort
Selector Index generatorGradeIndex OfInterval IndexIndicesDealPrefix and suffix vectors
Computational MatchNot MatchMembershipFindNub SieveEncodeDecodeMatrix InverseMatrix DivideFormatExecuteMaterialiseRange
Operators Monadic EachCommuteConstantReplicateExpandReduceWindowed ReduceScanOuter ProductKeyI-BeamSpawnFunction axisIdentity (Null, Ident)
Dyadic BindCompositions (Compose, Reverse Compose, Beside, Withe, Atop, Over) ∙ Inner ProductDeterminantPowerAtUnderRankDepthVariantStencilCutDirect definition (operator)Identity (Lev, Dex)
Quad names Index originComparison toleranceMigration levelAtomic vector