foldrとfoldl（またはfoldl '）の関係

まず、私が読んでいるReal World Haskellは、を使用foldlせず、代わりにを使用するように言っていますfoldl'。だから私はそれを信頼しています。

しかし、私はfoldrvs をいつ使うべきか迷っていますfoldl'。私の目の前では、それらがどのように機能するかについての構造がわかりますが、私は愚かすぎて、「どちらが良いか」を理解できません。どちらも同じ答えを返すので、どちらを使用しても問題にはならないように思えます（そうではありませんか？）。実際、このコンストラクトに関する私の以前の経験は、Ruby injectとClojureの経験でありreduce、これらには「左」バージョンと「右」バージョンがないようです。（サイド質問：彼らはどのバージョンを使用していますか？）

私のような賢い挑戦的なソートを助けることができるどんな洞察も大いに感謝されます！

以下のための再帰foldr f x ysどこys = [y1,y2,...,yk]ルックスが好き

f y1 (f y2 (... (f yk x) ...))

の再帰はfoldl f x ys次のようになります

f (... (f (f x y1) y2) ...) yk

ここでの重要な違いは、の結果ならばということであるf x yの値のみを使用して計算することができx、その後、foldrない」リスト全体を検討する必要がありません。例えば

foldr (&&) False (repeat False)

リターンFalseのに対し、

foldl (&&) False (repeat False)

終了することはありません。（注：repeat Falseすべての要素がである無限リストを作成しますFalse。）

一方、foldl'末尾再帰的で厳密です。何があってもリスト全体をトラバースする必要があることがわかっている場合（たとえば、リスト内の数値を合計する場合）は、foldl'よりスペース（およびおそらく時間）が効率的ですfoldr。

foldr このようになります：

foldl このようになります：

コンテキスト：フォールド Haskellのウィキ

その意味はあなただけ入れ替えることができないように異なるfoldlとfoldr。1つは左から要素を、もう1つは右から折ります。このようにして、オペレーターは異なる順序で適用されます。これは、減算などのすべての非関連操作で重要です。

Haskell.orgにはこの件に関する興味深い記事があります。

簡単に言うfoldrと、アキュムレータ関数が2番目の引数で遅延している場合に適しています。Haskell wikiのStack Overflowで詳細を読んでください（しゃれが意図されています）。

すべての用途の99％foldl'よりも好ましい理由はfoldl、ほとんどの用途で一定のスペースで実行できるためです。

関数を取得しますsum = foldl['] (+) 0。ときにfoldl'使用され、合計はすぐにそう適用し、計算されたsumあなたのようなものを使用している場合は、無限のリストには、ちょうど（一定の空間内で最も可能性の高い永久に実行し、かつますIntsの、Doubleよ、Floatよ。Integersがあれば、一定のスペースよりも多く使用されます数がより大きいmaxBound :: Int）。

を使用するfoldlと、サンクが構築されます（回答を保存するのではなく、後で評価できる、回答を取得する方法のレシピなど）。これらのサンクは多くのスペースを占める可能性があり、この場合、サンクを格納するよりも式を評価する方がはるかに優れています（スタックオーバーフローにつながり、…気にしないでください）。

お役に立てば幸いです。

ちなみに、Ruby injectとClojure reduceはfoldl（またはfoldl1、使用するバージョンによっては）です。通常、言語にフォームが1つしかない場合は、Python reduce、Perl List::Util::reduce、C ++ accumulate、C＃Aggregate、Smalltalk inject:into:、PHP array_reduce、Mathematica Foldなどreduceを含む左折りです。CommonLispのデフォルトは左折りですが、右折りのオプションがあります。

コンラートは指摘し、その意味は異なります。それらは同じタイプではありません：

ghci> :t foldr
foldr :: (a -> b -> b) -> b -> [a] -> b
ghci> :t foldl
foldl :: (a -> b -> a) -> a -> [b] -> a
ghci> 

例えば、リスト追記演算子（++）を用いて実施することができるfoldrよう

(++) = flip (foldr (:))

ながら

(++) = flip (foldl (:))

タイプエラーが発生します。