Differences between revisions 14 and 15

Glossary of APL terms

APL literature includes many terms whose meanings, though rigorous, differ slightly from elsewhere. Terms used but not defined here follow normal usage or are defined at FOLDOC¹.

Term	Description
ambivalent	(or nomadic²)(of a dyadic function) permitting its left argument to be elided.
argument	value or reference passed to a function or operator.
array	(or variable) data valued object of zero or more orthogonal dimensions in row-major order in which each item is a primitive scalar or another array.
define	create by lexical assignment³ or association⁴ or in an editor⁵.
depth	(of an array) the number of levels of nesting.
derive	create by juxtaposition as a combination of one or two existing arrays or functions with an operator⁶.
dyadic	accepting or requiring two arguments or operands: left and right; having valence of two.
empty	(or null)(of an array) having one or more dimensions of length zero.
function	primitive, defined, derived or system operation or mapping that takes zero, one (right) or two (left & right) array valued arguments and may return an array valued result.
matrix	(of an array) having two dimensions. (of a function) applying to matrices.
monadic	accepting or requiring one argument or operand; on the right for a function; on the left for an operator; having valence of one.
nested	(of an array) having one or more items or a prototype which is not a primitive scalar.
niladic	accepting no arguments; having valence of zero.
operand	argument to an operator.
operator	primitive or defined operation or mapping that takes one (left) or two (left & right) function or array valued arguments (operands) and derives a function.
pervasive	(of a function) applying equally to scalars at any depth.
prototype	(of an array) the type of its first item.
rank	(of an array) number of dimensions. (of a function) ranks of arguments to which it applies.
reduction	application of a function between the items of its right argument thus reducing the rank by one.
scalar	(of an array) having zero dimensions. (of a function) applying to scalars. (- extension) replication of a scalar argument to the shape of the other.
shape	(of an array) length of each dimension.
simple	(of a scalar) a single primitive datum. (of an array) composed entirely of primitive scalars.
strand	lexical juxtaposition of array valued names or expressions to form a larger, possibly nested, array⁷.
type	(of an array) array of identical structure in which all numbers are zero and all characters are blanks.
valence	degree or number of arguments or operands of an operation.
vector	(of an array) having one dimension. (of a function) applying to vectors.
workspace	area of computer memory containing arrays and defined &/or derived operations or a file containing a preserved binary image of such.

-- PhilLast 2009-10-05 14:55:22

CategoryAboutApl

FOLDOC: see The Free On-Line Dictionary Of Computing, Editor Denis Howe (1)
nomadic: see APLX concepts (2)
define by lexical assignment: assigned←{expression in terms of ⍺ and/or ⍵} (3)
define by lexical association: ⎕FX 'r←a associated w' 'r←expression in terms of a and/or w' (4)
define in an editor: ∇edited or )EDIT edited (5)
derive: derived←∘.,/∘(⍳¨) (6)
strand: stranded←0(1 2)('three' 'four')'five' (7)

-  ⇤ ← Revision 14 as of 2010-07-29 20:01:08 → 
  Size: 4359
  Editor: anonymous
  Comment:
+   ← Revision 15 as of 2010-07-30 07:24:46 → ⇥
  Size: 4759
  Editor: anonymous
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 3:
-APL literature includes many terms whose meanings, though rigorous, differ slightly from elsewhere. Terms used here but not defined follow normal usage or are defined at FOLDOC<<FootNote(''FOLDOC:'' see [[http://foldoc.org/|Free On-Line Dictionary Of Computing]])>>.
||<rowclass="odd"> '''Term'''    ||'''Description'''||
||<rowclass="even">''ambivalent''||(or nomadic<<FootNote(''nomadic:'' see [[http://www.microapl.co.uk/APL/apl_concepts_chapter6.html|APLX concepts]])>>)(of a ''dyadic'' ''function'') permitting its left argument to be elided.||
||<rowclass="odd"> ''array''     ||data valued object of zero or more orthogonal dimensions in row-major order in which each item is a primitive ''scalar'' or another ''array''.||
||<rowclass="even">''define''    ||create by lexical assignment<<FootNote(''define by lexical assignment:'' {{{assigned←{expression in terms of ⍺ and/or ⍵} }}})>> or association<<FootNote(''define by lexical association:'' {{{⎕FX 'r←a associated w' 'r←expression in terms of a and/or w'}}})>> or in an editor<<FootNote(''define in an editor:'' {{{∇edited}}} or {{{)EDIT edited}}})>>.||
||<rowclass="odd"> ''depth''     ||(of an ''array'') the number of levels of ''nesting''.||
||<rowclass="even">''derive''    ||create by juxtaposition as a combination of one or two existing ''arrays'' or ''functions'' with an ''operator''<<FootNote(''derive:'' {{{derived←∘.,/∘(⍳¨)}}})>>.||
||<rowclass="odd"> ''dyadic''    ||accepting or requiring two arguments or operands: left and right; having ''valence'' of two.||
||<rowclass="even">''empty''     ||(of an ''array'') having one or more dimensions of length zero.||
||<rowclass="odd"> ''function''  ||primitive, ''defined'', ''derived'' or system operation or mapping that takes zero, one (right) or two (left & right) ''array'' valued arguments and may return an ''array'' valued result.||
||<rowclass="even">''matrix''    ||(of a ''function'') applying to matrices.||
||<rowclass="odd"> ''monadic''   ||accepting or requiring one argument or operand; on the right for a ''function''; on the left for an ''operator''; having ''valence'' of one.||
||<rowclass="even">''nested''    ||(of an ''array'') having one or more items or a ''prototype'' which is not a primitive ''scalar''.||
||<rowclass="odd"> ''niladic''   ||accepting no arguments; having ''valence'' of zero.||
||<rowclass="even">''operator''  ||primitive or ''defined'' operation or mapping that takes one (left) or two (left & right) ''function'' or ''array'' valued arguments (operands) and ''derives'' a ''function''.||
||<rowclass="odd"> ''pervasive'' ||(of a ''function'') applying equally to ''scalars'' at any ''depth''.||
+APL literature includes many terms whose meanings, though rigorous, differ slightly from elsewhere. Terms used but not defined here follow normal usage or are defined at FOLDOC<<FootNote(''FOLDOC:'' see [[http://foldoc.org/|The Free On-Line Dictionary Of Computing]], Editor Denis Howe)>>.
||<rowclass="odd">'''Term'''    ||'''Description'''||
||<rowclass="even">''ambivalent''||(or nomadic<<FootNote(''nomadic:'' see [[http://www.microapl.co.uk/APL/apl_concepts_chapter6.html|APLX concepts]])>>)(of a ''dyadic'' ''function'') permitting its left ''argument'' to be elided.||
||<rowclass="odd">''argument''  ||value or reference passed to a ''function'' or ''operator''.||
||<rowclass="even">''array''     ||(or variable) data valued object of zero or more orthogonal dimensions in row-major order in which each item is a primitive ''scalar'' or another ''array''.||
||<rowclass="odd">''define''    ||create by lexical assignment<<FootNote(''define by lexical assignment:'' {{{assigned←{expression in terms of ⍺ and/or ⍵} }}})>> or association<<FootNote(''define by lexical association:'' {{{⎕FX 'r←a associated w' 'r←expression in terms of a and/or w'}}})>> or in an editor<<FootNote(''define in an editor:'' {{{∇edited}}} or {{{)EDIT edited}}})>>.||
||<rowclass="even">''depth''     ||(of an ''array'') the number of levels of ''nesting''.||
||<rowclass="odd">''derive''    ||create by juxtaposition as a combination of one or two existing ''arrays'' or ''functions'' with an ''operator''<<FootNote(''derive:'' {{{derived←∘.,/∘(⍳¨)}}})>>.||
||<rowclass="even">''dyadic''    ||accepting or requiring two ''arguments'' or ''operands'': left and right; having ''valence'' of two.||
||<rowclass="odd">''empty''     ||(or null)(of an ''array'') having one or more dimensions of length zero.||
||<rowclass="even">''function''  ||primitive, ''defined'', ''derived'' or system operation or mapping that takes zero, one (right) or two (left & right) ''array'' valued ''arguments'' and may return an ''array'' valued result.||
||<rowclass="odd">''matrix''    ||(of an ''array'') having two dimensions.<<BR>>(of a ''function'') applying to ''matrices''.||
||<rowclass="even">''monadic''   ||accepting or requiring one ''argument'' or ''operand''; on the right for a ''function''; on the left for an ''operator''; having ''valence'' of one.||
||<rowclass="odd">''nested''    ||(of an ''array'') having one or more items or a ''prototype'' which is not a primitive ''scalar''.||
||<rowclass="even">''niladic''   ||accepting no ''arguments''; having ''valence'' of zero.||
||<rowclass="odd">''operand''   ||''argument'' to an ''operator''.||
||<rowclass="even">''operator''  ||primitive or ''defined'' operation or mapping that takes one (left) or two (left & right) ''function'' or ''array'' valued ''arguments'' (''operands'') and ''derives'' a ''function''.||
||<rowclass="odd">''pervasive'' ||(of a ''function'') applying equally to ''scalars'' at any ''depth''.||
-Line 20:
+Line 22:
-||<rowclass="odd"> ''rank''      ||(of an ''array'') number of dimensions.<<BR>>(of a ''function'') ''ranks'' of arguments to which it applies.||
||<rowclass="even">''reduction'' ||application of a ''function'' between the items of its right argument thus ''reducing'' the ''rank'' by one.||
||<rowclass="odd"> ''scalar''    ||(of a ''function'') applying to ''scalars''.<<BR>>(- extension) replication of a ''scalar'' argument to the ''shape'' of the other.||
+||<rowclass="odd">''rank''      ||(of an ''array'') number of dimensions.<<BR>>(of a ''function'') ''ranks'' of ''arguments'' to which it applies.||
||<rowclass="even">''reduction'' ||application of a ''function'' between the items of its right ''argument'' thus ''reducing'' the ''rank'' by one.||
||<rowclass="odd">''scalar''    ||(of an ''array'') having zero dimensions.<<BR>>(of a ''function'') applying to ''scalars''.<<BR>>(- extension) replication of a ''scalar'' ''argument'' to the ''shape'' of the other.||
-Line 24:
+Line 26:
-||<rowclass="odd"> ''simple''    ||(of a ''scalar'') a single primitive datum.<<BR>>(of an ''array'') composed entirely of primitive ''scalars''.||
+||<rowclass="odd">''simple''    ||(of a ''scalar'') a single primitive datum.<<BR>>(of an ''array'') composed entirely of primitive ''scalars''.||
-Line 26:
+Line 28:
-||<rowclass="odd"> ''type''      ||(of an ''array'') ''array'' of identical structure in which all numbers are zero and all characters are blanks.||
||<rowclass="even">''valence''   ||degree or number of arguments or operands of an operation.||
||<rowclass="odd"> ''vector''    ||(of a ''function'') applying to vectors.||
+||<rowclass="odd">''type''      ||(of an ''array'') ''array'' of identical structure in which all numbers are zero and all characters are blanks.||
||<rowclass="even">''valence''   ||degree or number of ''arguments'' or ''operands'' of an operation.||
||<rowclass="odd">''vector''    ||(of an ''array'') having one dimension.<<BR>>(of a ''function'') applying to vectors.||