Basic Data

datum | data | a d

    datum: a sort. Its individuals represent items of data. Left open, as it depends on the variety of information processed by the programs of a programming language. Includes generally-useful sorts from data notation, except for tuples. Similarly for distinct-datum, the sort of datum whose individuals are distinguished by the operation _is_ .

   
data : a sort. Its individuals represent tuples, i.e., ordered collections of individuals of sort datum, which may also be processed as transient information.

   
a d : the same data as d. Only used to improve the readability of the notation. Similarly for an , the d, of d, and some d. Thus an application of an operation op to arguments x can be written as op x, op of x, and the op of x. Note that the words 'the' and 'of' are obligatory parts of some other operation symbols. (Compare the HyperCard scripting language, HyperTalk [].)


    Basic Action Index | Basic Actions | Basic Yielders | Basic Data