\begin{slide}{Semantische Bereiche}

bisher: Wert eines Ausdrucks ist Zahl.

jetzt erweitern (Motivation: if-then-else
mit richtigem Typ):

\begin{verbatim}
data Val = ValInt Int
         | ValBool Bool
\end{verbatim}

Dann brauchen wir auch
\begin{itemize}
\item \verb+data Val = ... | ValErr String+
\item vernünftige Notation (Kombinatoren) 
  zur Einsparung von Fallunterscheidungen 
  bei Verkettung von Rechnungen 
\begin{verbatim}
with_int  :: Val -> (Int  -> Val) -> Val
\end{verbatim}
\end{itemize}

\end{slide}

