seq
Auswertung erzwingen:
seq x y
wertet x
aus (bis oberster Konstruktur feststeht)
und liefert dann Wert von y
!
in Konstruktor erzwingt Striktheit
data N = Z | S !NArgument von
S
wird vor Konstruktion ausgewertet
~
in Muster entfernt Striktheit:
case error "huh" of (a,b) -> 5 case error "huh" of ~ (a,b) -> 5