\begin{slide}{Typen für Variablen}

\begin{itemize}
\item
  dynamisch
\item
  statisch
  \begin{itemize}
  \item
    deklariert (durch Programmierer)
  \item
    inferiert (durch Übersetzer)

    z. B. \verb|let| in C\#3
  \end{itemize}
\end{itemize}

Vor/Nachteile: Lesbarkeit, Sicherheit, Kosten

\bigskip

bei Zuweisungen \verb|lhs := rhs|

Wie genau muß Typ von rhs (Ausdruck)
übereinstimmen mit deklariertem Typ von lhs (Variable)?

Beachte: Objekttypen, Zahltypen

\end{slide}
