Typprüfung für generische Funktionen

wie bisher: Argumenttypen müssen passen.

aber jetzt: nicht einfacher Vergleich mit festem Typ, sondern Anpassung an Typschema, das Typvariablen enthält.

bei Anpassung werden Typvariablen gebunden. mit dieser Bindung (Zuordung Typvariable $\to$ Typ) kann Resultattyp berechnet werden.

interface List<T> { T get (int i); }

List<List<Integer>> l; 
??? l.get(2); 

   Bindung T => List<Integer>