foldlをfoldrで実装する - Qiita

はじめに @ruiccさんのスペースリーク、その傾向と対策のコメント欄において、@maoeさんが「最近のbaseではfoldlの実装にfoldrを使っている」という内容のコメントをされていました。 そのリンク先では、次のような形でfoldlを定義しています。 foldl :: forall a b. (b -> a -> b) -> b -> [a] -> b foldl k z0 xs = foldr (\(v::a) (fn::b->b) (z::b) -> fn (k z v)) (id :: b -> b) xs z0 (；・∀・) (；・∀・) (；・∀・) (；・∀・) (´・ω・｀) なにを言っているのかわけがわからないですね！ ということで、スペースリーク自体とは多少離れてしまうかもしれませんが、この記事ではなぜこれがfoldlになるのかを少しずつ解き明かしていきます。 き