\begin{slide}{Strikte Paare}

\begin{verbatim}
data Value = ...
           | Pair Value Value
\end{verbatim}
  
Semantik von \verb|(pair X1 X2)| in Umgebung $E$
ist die folgende Rechnung:

\begin{itemize}
\item führe Semantik von \verb|X1| in $E$ aus, liefert \verb|v1 :: Value|
\item führe Semantik von \verb|X2| in $E$ aus, liefert \verb|v2 :: Value|
\item Resultat ist \verb|Pair v1 v2|
\end{itemize}

Semantik von \verb|(fst p)|: führe Semantik von $p$ aus,
liefert \verb|Pair v1 v2|, Resultat ist \verb|v1|.

\end{slide}
