Strictness

zu jedem Typ T betrachte T = {}∪T

Funktion f heißt strikt, wenn f () = .

in Haskell:

• Konstruktoren (Cons,...) sind nicht strikt,
• Destruktoren (head, tail,...) sind strikt.

für Fkt. mit mehreren Argumenten: betrachte Striktheit in jedem Argument einzeln.

Striktheit bekannt ⇒ Compiler kann effizienteren Code erzeugen (frühe Argumentauswertung)