Typing -- protection against errors
- static -- type checking at compile time
- strong -- all expressions are type consistent
Untyped -- flexibility
- bitstrings, sets,
Exceptions to monomorphic typing:
- overloading, coercion, subranging, value-sharing (nil)