and リストの途中に False の要素が現れたり、or リストを評価している途中にTrue が現れればリストを最後まで評価しなくても結果が確定します。このような仕組みを短絡と言います。 import Debug.Trace myFoldl f z0 xs0 = lgo z0 xs0 where lgo z [] = tra…