Go backward to
From Untyped to Typed Universes
Go up to
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.
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.
Expressions are guaranteed to be type consistent.
Type itself may be statically unknown.
Last Modification: May 27, 1998