Strictness (Beispiele)

• length :: [a] -> Int ist strict:

  length undefined   ==>  exception
  

• (:) :: a->[a]->[a] ist nicht strict im 1. Argument:

  length (undefined : [2,3]) ==> 3
  

  d.h. (undefined : [2,3]) ist nicht $\bot$

• (&&) ist strikt im 1. Arg, nicht strikt im 2. Arg.

  undefined && True   ==> (exception)
  False && undefined  ==> False