Type Functions and Predicates
Start Quantum again and reproduce what you see in the Quantum session below.
Every Quantum object has a unique immutable basic type returnable by function
Type. Types categorize Quantum objects and, being
Symbol's, are type
Symbol
. Types can be subtypes of more general types. For example, all
Float's are
Real's, all
Real's are
Number's,
etc. as revealed by Quantum's functions
BaseType
and
IsSubclassOf. The most general type is
Object.
Use
TypeCase
to dispatch by object type,
Is
to type test without error, and
TypeCheck
to type test with error.
|
