練習問題 4.5.7

scanl f e [] = [e]
を証明せよ.



    scanl f e []
=       { scanl の定義 }
    (map (foldl f e) . inits) []
=       { . の定義 }
    map (foldl f e) (inits [])
=       { inits の定義 }
    map (foldl f e) [[]]
=       { map の定義 }
    foldl f e [] : map (foldl f e) []
=       { map の定義 }
    foldl f e [] : []
=       { foldl の定義 }
    e : []
=       { リストのリテラル表記 }
    [e]