next up previous contents
Next: Operations Up: Types Previous: Types   Contents

Types

Any
The type that any object satisfies: the universal type.
None
The type that no object satisfies: the empty type.
Range
A parametrized type over another type with a linear ordering, such as Integer. This type is bounded, it has a start and a finish (least and greatest possible member). In general, any Magnitude can be used as a base of a Range type.
Member
The type associated with membership in a specific set of objects.
Singleton
The type of a single object, as distinct from any other object.
Clone
The type of an object and its CLONE FAMILY, the set of objects that are direct copies (clones plus changes to slot values) of it.
Array
The type representing all arrays, as parametrized by an element type and a length.
Block
The type representing code closures of a given (optional) input and output signature.



Brian Rice 2004-08-24