Strictness

zu jedem Typ T betrachte T_$\bot$ = {$\bot$}∪T

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

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)