D in Declaration
T in Type-structure
D ::= ...| var I:T
T ::= newint
- Type structure T
- Declaration var I:T
- Activates T.
- Binds result value to I.
- Contrast to procedures
- proc I=C alters storage only when procedure is invoked (lazy
evaluation).
- var I:T alters storage when variable is declared (eager
evaluation).