Go backward to Polymorphism and Typing Go up to Top Go forward to Overloaded Operators

Kinds of Polymorphism

• Ad hoc polymorphism (overloading)
  • Operator "behaves differently" for arguments of different types.
  • Pascal + on integers, reals and for set union.
  • C++ overloading.
• Polymorphic polymorphism
  • Operatore "behaves the same" for all types.
  • ML operations on alpha-lists.

Formal definition difficult.