Generische Polymorphie

• bis jetzt nur einfache Typen (Number, Bool).
• nützlich sind auch zusammengesetzte Typen,
• diese entstehen durch Anwendung von Typkonstruktoren auf Typ-Argument(e),
• Beispiel: Liste von Bool, Abbildung (Map) von Number nach Number.
• dann gibt es generisch polymorphe Funktionen, Beispiel: Länge einer Liste (mit beliebigem Elementtyp).

  vgl. Java: interface Collection<T> { int size (); }