Strictness

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

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

in Haskell:

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

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



Johannes Waldmann 2012-06-25