\begin{slide}{Nicht strikte Paare}

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

\begin{itemize}
\item Semantik von \verb|X1| in $E$ ist \verb|c1 :: Comp|
\item Semantik von \verb|X2| in $E$ ist \verb|c2 :: Comp|
\item Resultat ist \verb|Pair c1 c2|
\end{itemize}

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

\end{slide}
