Static Type Checking

Static type associates type with variables; checking is done once, at compile time.

• The compiler must be able to determine ``all'' types at compile time: type declarations required.

• Faster at runtime: no type checks, only operations.

• Less error-prone: compile-time type checking.

• Inflexible. Pascal originally included array bounds as part of the type, making it impossible to write general subroutines such as matrix inversion.