Bedarfsauswertung

• Konstruktoren werten Argumente (zunächst) nicht aus

  statt Wert wird thunk (closure) gespeichert

• Wert eines Ausdrucks wird erst bestimmt, wenn er wegen Pattern Matching benötigt wird
• dann wird der Wert nur soweit nötig bestimmt

  d. h., bis man den obersten Konstruktor sieht

  eine solche Form heißt Kopfnormalform

(der andere Begriff ist Normalform: alle Konstruktoren)