Polymorphie

(= Typen als Parameter) Implementierungen:

• Java (< 1.5): Programmierer muß Typ-Information entfernen (Promotion/Cast zu/von Object): schreibt ungetyptes Programm
• Java 1.5 (generics): Compiler prüft Typen (dann: löscht Typen) und erzeugt Code für Schema
• C++ (templates): Compiler instantiiert (ersetzt Parameter durch Wert), prüft Typen und erzeugt Code für Verwendung des Schemas

in C++ sind auch Daten als Schablonen-Parameter erlaubt:

template <typename E, int size> class Store { .. }