Topic: type variable

topics > computer science > data > Group: procedure and type-valued variables

type parameter
type reflection and introspection


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 up

Subtopic: opertions on types up

QuoteRef: dahlOJ_1972 ;;98 type values can be tested for equality, assigned and case discriminated

Subtopic: declared types up

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 up

QuoteRef: ledgHF9_1971 ;;134 types can be associated with value (needs dynamic type checking)

Related Topics up

Topic: type parameter (34 items)
Topic: type reflection and introspection
(28 items)

Updated barberCB 3/05
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.