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.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: understand.tex,v 1.1 1996/06/12 09:38:21 schreine Exp schreine