Vererbung und generische Polym. (II)

• mit Sprachkonzepte Vererbung ist Erweiterung des Sprachkonzeptes Generizität wünschenswert:
• beim Definition der Passung von parametrischen Typen sollte die Vererbungsrelation ≤ auf Typen berücksichtigt werden.

• Ansatz: wenn E ≤ C, dann auch List<E> ≤ List<C>
• ist nicht typsicher, siehe folgendes Beispiel
• Modifikation: ko- und kontravariante Typparameter

  (List<E> ≤ List<in C>, List<C> ≤ List<out C>)