\begin{slide}{Warum Typen?}

\begin{itemize}
\item
  Typ ist Menge von Werten mit Operationen
\item
  f�r jede eigene Menge von Werten (Variablen)
  aus dem \emph{Anwendungsbereich}
  benutze eine eigenen Typ
\item
  halte verschiedene Typen sauber getrennt,
  mit Hilfe der Programmiersprache
\item
  der Typ einer Variablen/Funktion 
  ist ihre beste Dokumentation
\end{itemize}


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