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

nach closure conversion sind alle Abstraktionen
geschlossen, diese mÃ¼ssen nur noch aufgesammelt
und eindeutig benannt werden.


\begin{verbatim}
let { g1 = \ v1 .. vn -&gt; b1
    ...
    ; gk = \ v1 .. vn -&gt; bk
} in b 
\end{verbatim}

dann in \verb|b1, .., bk, b| 
keine Abstraktionen gestattet

\begin{itemize}\itemsep 2pt
\item Zustandsmonade zur Namenserzeugung 
  ($g_1, g_2,\ldots)$
\item Ausgabemonade (\verb|WriterT|) 
  zum Aufsammeln
\item 
 $g_1,\ldots, g_k$ 
dÃ¼rften nun sogar rekursiv sein
(sich gegenseitig aufrufen)
\end{itemize}

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