\begin{slide}{Fixpunkt-Kombinator}

\verb|fix g = f| heißt: \verb|f| ist Fixpunkt von \verb|g|,
also \verb|f = g f|. Berechnungsvorschrift:
\begin{verbatim}
fix g = g (fix g)
\end{verbatim}
  
Das funktioniert nur für bestimmte $g$.




\begin{verbatim}
data Exp = ... | Fix Exp

value :: Env -> Exp -> Val
value env x = case x of ...
    Fix b -> with_fun ( value env b ) $ \ g -> 
        
\end{verbatim}
  

\end{slide}
