seqとWHNF いちばん外側のコンストラクタやラムダがこれ以上簡約できない場合、項は弱頭部正規形 (weak head normal-form, WHNF) であると言います。完全に評価されていて、中に入っているすべての部分式とサンクが評価されている場合、正規形 (normal form) であると言います。 -- 正規形 42 (2, "foo") \x -> x + 1 -- 正規形でない 1 + 2 (\x -> x + 1) 2 "foo" ++ "bar" (1 + 1, "foo") -- 弱頭部正規形 (1 + 1, "foo") \x -> 2 + 2 'f' : ("oo" ++ "bar") -- 弱頭部正規形でない 1 + 1 (\x -> x + 1) 2 "foo" ++ "bar" Haskell では、通常の評価はコアの case 文の外側のコンストラクタで