Type Descriptors (Working Paper)
A Type Descriptor has two fields:
- collection
- base type.
Collection
The collection field can have one of 3 values:
- collection name
- “_any_”
- ””.
Examples (respectively):
namespace [name]
[name]
name
where “name” is a user-defined type, and “namespace” is a user-defined collection type.
The form [name]
uses the builtin collection type and allows any type(s) in the collection (like Lisp lists).
Base Type
The Base Type is the name of some other type.