\begin{slide}{Polymorphie}

Abstraktionen sind nur dann sinnvoll, 
wenn sie flexibel benutzt werden können,
\verb|interface Map<K,V>|
für beliebige Typen \verb|K,V|.

D. h.: Abstraktionen benötigen Parameter. Häufig:
\begin{itemize}
\item
  Unterprogramm bekommt Argumente (Daten)
\item
  Typschablone bekommt Argumente (Typen)
\end{itemize}
auch andere denkbar und nützlich:
\begin{itemize}
\item
  Unterprogramm bekommt Typ als Argument
  (run time type information)
\item
  Typschablone bekommt Datum als Argument
  (dependent types)
\end{itemize}


\end{slide}
%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 
