4,494
edits
(Also in A+, where it returns an empty vector of symbols) |
(⊢⍨) |
||
Line 2: | Line 2: | ||
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. | ||
In dialects where <syntaxhighlight lang=apl inline>⊣</syntaxhighlight> does not return the argument when used monadically, the effect can be achieved with <syntaxhighlight lang=apl inline>⊢⍨</syntaxhighlight> using the [[commute]] operator. | |||
== Documentation == | == Documentation == |