\begin{slide}{Motivation}

(Literatur: DCPL 17.10) --- Beispiel:
\begin{verbatim}
let { linear = \ a -> \ x -> a * x + 1 
    ; f = linear 2 ; g = linear 3
    } 
in  f 4 * g 5
\end{verbatim}

beachte nicht lokale Variablen:
\verb|(\ x -> .. a .. )|


\begin{itemize}
\item 
Semantik-Definition (Interpreter) 
benutzt Umgebung 
\item
Transformation 
(closure conversion, environment conversion) 
(im Compiler) macht Umgebungen explizit.
\end{itemize}

\end{slide}
