Generische Polymorphie

• Typschema:

  Typ-Ausdruck mit Typ-Variable(n) in spitzen Klammern,

  Bsp: Set<E>, Map<K,V>

• Typ: Instantiierung des Schemas,

  Schema-Variablen durch Typen ersetzt,

  Bsp: Set<Integer>, Map<String,Set<String>>

In Java: Schema-Argumente müssen Verweistypen sein,

deswegen (Auto-)Boxing für primitive Typen

(int → Integer, boolean → Boolean, char → Character,...)