Polymorphie

Abstraktionen sind nur dann sinnvoll, wenn sie flexibel benutzt werden können, interface Map<K,V> für beliebige Typen K,V.

D. h.: Abstraktionen benötigen Parameter. Häufig:

• Unterprogramm bekommt Argumente (Daten)
• Typschablone bekommt Argumente (Typen)

auch andere denkbar und nützlich:

• Unterprogramm bekommt Typ als Argument (statisch oder dynamisch)
• Typschablone bekommt Datum als Argument (dependent types)