<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\begin{slide}{Simulation von nicht strikten Paaren}

\begin{verbatim}
(ns-pair X Y) 
--&gt; (pair (abs (u) X) (abs (u) Y))

(ns-fst P) --&gt; ((fst P) #u)
\end{verbatim}
\begin{itemize}
\item 
in CBV mÃ¼ssen das desugaring-Regeln sein,
\verb|ns-pair| ist keine CBV-Funktion.
\item
\verb|u| darf nicht in \verb|X,Y| vorkommen
\item
  \verb|(abs (u) X)| heiÃŸt \emph{thunk}
\end{itemize}

mit thunking nur fÃ¼r zweites pair-Argument
erhÃ¤lt man (lazy) streams,

vgl. Iterator/Enumerator in Java/C\#

\end{slide}
</pre></body></html>