Go backward to From Untyped to Typed Universes Go up to Top Go forward to Kinds of Polymorphism

Static and Strong Typing

• Types impose constraints to enforce correctness.
  • Protection of underlying (untyped) representation.
  • Constrains interaction of objects.
• Static type structure of programs.
  • Little or no type information given explicity.
  • Types associated to constants/function symbols.
  • Type inference system infers types of expressions by static analysis.
• Strong typing system.
  • Expressions are guaranteed to be type consistent.
  • Type itself may be statically unknown.
  • Introduce run time type checking.