A Possible Format for Type Expressions
Each type-expression is a character-string with up to 10
characters.
Lower-case letters are used for scalars:
- b is the type-expression for a Boolean scalar.
- i is the type-expression for an integer scalar.
- r is the type-expression for a real scalar.
Capital letters are used for arrays:
- B is the type-expression for a Boolean array.
- I is the type-expression for an integer array.
- R is the type-expression for a real array.
The type-expression for a procedure or a function is a string
containing the > character. If the procedure or function
has n arguments then the > character is preceded by n letters showing the types of the n arguments, in the
appropriate order. The type-expression of a procedure ends
with the > character. The type-expression of a function
has a single letter after the > character showing the type of its
returned value. Some examples are:
- iii>r is the type-expression for a real function with
three integer arguments.
- ir>b is the type-expression of a Boolean function with
an integer argument followed by a real argument.
- >i is the type-expression of an integer function with
no arguments.
- rrr> is the type-expression of a procedure with three
real arguments.
- > is the type-expression of a procedure with no
arguments.
Kenneth E. Batcher - 2/12/99