Difference between revisions of "Dfn"

From APL Wiki
Jump to navigation Jump to search
Line 13: Line 13:
 
       3 {⍵*÷⍺} 27      ⍝ ⍺th root
 
       3 {⍵*÷⍺} 27      ⍝ ⍺th root
 
3
 
3
       ⍝ Multiline dfn with optional left parameter
+
       ⍝ Multiline dfn with optional left parameter and conditional result
 
       root←{
 
       root←{
 
           ⍺←2          ⍝ square root by default
 
           ⍺←2          ⍝ square root by default
          ⍵*÷⍺          ⍝ result
+
           ⍺=0:0        ⍝ return zero if zeroth root
      }
 
      ⍝ Dfn with conditional result
 
      root←{
 
          ⍺←2          ⍝ square root by default
 
           ⍺=0:0        ⍝ zero if zeroth root
 
 
           ⍵*÷⍺          ⍝ result
 
           ⍵*÷⍺          ⍝ result
 
       }</source>
 
       }</source>

Revision as of 06:00, 4 August 2020

A dfn (contraction of direct function or dynamic function, pronounced "dee fun") is an alternative way to define a function and operator, invented by John Scholes. A dfn operator can also be called a dop (pronounced "dee op").

John Scholes was responsible for numerous presentations and publications on and about dfns, and until his passing he maintained the dfns website.

As of 2020, dfns are fully implemented in Dyalog APL, NARS2000, ngn/apl, dzaima/APL, and partially in GNU APL, although not all dialects implement lexical scoping, in contrast to the dynamic scoping of tradfns. In other words, a dfn cannot "see" locals of its caller, but can see locals of its definer.

Wikipedia includes a thorough treatment of dfns.

Examples

      {*0.5} 16        ⍝ square root
4
      3 {} 27       ⍝ ⍺th root
3
      ⍝ Multiline dfn with optional left parameter and conditional result
      root{
          2           ⍝ square root by default
          =0:0         ⍝ return zero if zeroth root
                    ⍝ result
      }

External links

Tutorials

Documentation


APL syntax [edit]
General Comparison with traditional mathematicsPrecedenceTacit programming
Array Numeric literalStringStrand notationObject literalArray notation
Function ArgumentFunction valenceDerived functionDerived operatorNiladic functionMonadic functionDyadic functionAmbivalent functionDefined function (traditional)DfnFunction train
Operator OperandOperator valenceTradopDopDerived operator
Assignment MultipleIndexedSelectiveModified
Other Function axisBranchQuad nameSystem commandUser commandKeywordDot notationFunction-operator overloading