Go backward to Static and Strong Typing
Go up to Top
Go forward to Universal Polymorphism
Kinds of Polymorphism
- Monomorphic languages:
- All functions and procedures have unique type.
- All values and variables of one and only type.
- Pascal-like type systems.
- Polymorphic languages:
- Values and variables may have more than one type.
- Polymorphic functions have operatnds of more than one type.
- Polymorphic types have operations applicable to operands of more than
one type.
- Universal polymorphism:
- Function works uniformly on range of types.
- Parametric and inclusion polymorphism.
- Ad-hoc polymorphism:
- Function works on several unrelated types.
- Overlading and coercion.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: understand.tex,v 1.1 1996/06/12 09:38:21 schreine Exp schreine