Go backward to Copyout function Go up to Top Go forward to Valuation Functions

A Dynamically Typed Language with Input and Output

• Variable may take on values from different data types.
• Run-time type checking required.
• Input and output included.

Introduction of "type tags"

Storable-value = Tr + Nat
Store = Id -> Storable-value

Errvalue = Unit
Expressible-value =
    Storable-value + Errvalue