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 [].)
|