Typing -- protection against errors

Untyped -- flexibility

Exceptions to monomorphic typing:


slide: The nature of types