Topic:
type parameter
Topic:
type reflection and introspection
| |
Summary
A variable may stand for a type like a procedure variable stands for a procedure. Type variables include the operations defined for a type. They can declare variables, be tested for type equality, be assigned, and be case discriminated. The simplest are literals where the type variable refers to a type's definition. The type variable may be parameterized. (cbb 5/80)
Subtopic: type variable 
Subtopic: opertions on types
| QuoteRef: dahlOJ_1972 ;;98 type values can be tested for equality, assigned and case discriminated
|
Subtopic: declared types
| QuoteRef: gescCM6_1975 ;;33 can declare literal variables of type Type by intarrav: Type= ARRAY[1..10] OF integer
| | QuoteRef: wegbB5_1974 ;;7 mode valued variables for declaring other variables
| | QuoteRef: wirtN7_1973 ;;3 types may be defined and referenced by name
|
Subtopic: dynamic types
QuoteRef: ledgHF9_1971 ;;134 types can be associated with value (needs dynamic type checking)
|
Related Topics
Topic: type parameter (34 items)
Topic: type reflection and introspection
(28 items)
|
