\begin{slide}{Bedarfsauswertung}

  \begin{itemize}
  \item Konstruktoren werten Argumente
    (zunächst) nicht aus

    statt Wert wird \emph{thunk} (closure)
    gespeichert
  \item
    Wert eines Ausdrucks wird erst bestimmt,
    wenn er wegen Pattern Matching benötigt wird
  \item
    dann wird der Wert nur soweit nötig bestimmt
    
    d. h., bis man den obersten Konstruktor sieht
    
    eine solche Form heißt \emph{Kopfnormalform}
  \end{itemize}



(der andere Begriff ist \emph{Normalform}: 
alle Konstruktoren)



\end{slide}
