\begin{slide}{Statisch getypte Sprachen}
Daten sind typisiert, Namen sind typisiert

\begin{itemize}
\item Programmierer muß Typen von Namen deklarieren:

  C, Java, \dots
\item Compiler inferiert Typen von Namen:

  ML, F\#, Haskell, C\# (var)
\end{itemize}

\end{slide}
