Strictness

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

dabei ist $\bot$ ein „Nicht-Resultat vom Typ T``

• Exception undefined :: T
• oder Nicht-Termination let { x = x } in x

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

Fkt. f mit n Arg. heißt strikt in i, falls (x_i = $\bot$)⇒f (x₁,…, x_n) = $\bot$

in Haskell:

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