\begin{slide}{Closures}

bisher: 
\begin{verbatim}
eval env x = case x of ...
  Abs n b -> ValFun $ \ v -> 
    eval (extend env n v) b
  App f a -> 
    with_fun ( eval env f ) $ \ g -> 
    with_val ( eval env a ) $ \ v -> g v
\end{verbatim}
alternativ: die Umgebung von \verb|Abs| in die
Zukunft transportieren:
\begin{verbatim}
eval env x = case x of ...
  Abs n b -> ValClos env n b
  App f a -> ...
\end{verbatim}

\end{slide}
