\begin{slide}{Typinformation zur Laufzeit}

  \begin{itemize}
  \item (Java) nicht vorhanden (type erasure),
    die Collection weiß nicht, welches ihr Elementtyp ist
  \item (C\#) ist bekannt
  \end{itemize}
Typen haben aber verschiedene Repräsentationen
(verschieden primitive, Verweistypen), also:

\begin{itemize}
\item Java: alle Typparameter müssen Verweistypen sein
  (ggf. (Auto)boxing); nur eine Instanz der Collection
\item C\#: beliebige Typen gestattet (auch primitive);
  dafür dann mehrere Instanzen.
\end{itemize}

\end{slide}

