foldl vs. foldl'に終止符を打つ - Qiita

今から5年ほど前、base-4.7.0.2(GHC 7.8.4)の時代まで、foldlは以下のように定義されていました。 foldl :: (b -> a -> b) -> b -> [a] -> b foldl f z0 xs0 = lgo z0 xs0 where lgo z [] = z lgo z (x:xs) = lgo (f z x) xs

[igrep]

正格性評価について併せて読みたい: http://fixpt.de/blog/2017-12-04-strictness-analysis-part-1.html