[ fromfile: types.xml id: types ]

Here we formally define some terms that we have been using. Operators are special kinds of functions that perform calculations on operands and return results. Operands are the arguments supplied to the an operator.

Operators can be thought of as ordinary functions, except that it is possible to call them using operator symbols (e.g., +, -, *, /, etc.) in addition to the longer function-call syntax.

An expression consists of a single operand, multiple operands with operators interspersed, or functions with arguments. Each expression has a type and a value. The value is obtained by applying the definitions of the operators (and/or functions) to the operands (and/or arguments).