\begin{slide}{Typsysteme}

\begin{itemize}
\item
  statisch (Prüfung zur Übersetzungszeit, nicht zur Laufzeit)
\item
  generisch polymorph
  
  Bsp: allgemeinster Typ von \verb|map|?
\end{itemize}

vgl. generische Polymorphie in C++ (STL), 
Java (Collections Framework)

\bigskip

LISP, Prolog habe dynamisches Typsystem;\\
ML, Haskell, Mercury statisches.

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