後者がモノイドと関係がないとき、foldMapはfoldrと同じようにできますか？

Question

foldrおよびfoldMapは、私が理解するようにお互いを定義するために使用できます。しかし、後者はモノイドを使用するので、前者はできませんが、どのように可能ですか？ foldrの作品がモノイドを持つことができるという保証はありますか？

Answer 1

foldr :: (a -> b -> b) -> b -> [a] -> b 

はa -> (b -> b)です。機能b -> bは、組成の下にモノイドを形成する。これは

foldMap :: (..omitted..) => (a -> m) -> f a -> m 

唯一の違いに似ているか

注foldMapがfoldの種類bの「ゼロ」引数を使用しないことであるとfoldrの面でb->bだろうmを返します。もう片方を適用してfoldrをfoldMapから回復しました。