Erklären Sie, wie der neue Folder in Haskell funktioniert

Question

Neuer Haskell-Programmierer wird bald genug zu Quellen gehen, um zu sehen, wie foldr implementiert wird. Nun, der Code war einfach (erwarte nicht, dass Neulinge etwas über OldList oder FTP wissen).

Wie funktioniert der neue Code?

-- | Map each element of the structure to a monoid, 
-- and combine the results. 
foldMap :: Monoid m => (a -> m) -> t a -> m 
foldMap f = foldr (mappend . f) mempty 

-- | Right-associative fold of a structure. 
-- 
-- @'foldr' f z = 'Prelude.foldr' f z . 'toList'@ 
foldr :: (a -> b -> b) -> b -> t a -> b 
foldr f z t = appEndo (foldMap (Endo #. f) t) z 

Answer 1

Ich werde nur die Teile erwähnen, dass nicht in the answer @duplode linked sind.

Zuerst sind diese Implementierungen, die Sie auflisten, Standard Methoden. Jeder Foldable Typ braucht seine eigene spezifische Version von mindestens ein von ihnen zur Verfügung zu stellen, und Listen ([]) bieten foldr, which is implemented ziemlich viel, wie es immer war:

foldr k z = go 
      where 
      go []  = z 
      go (y:ys) = y `k` go ys 

(Was ist, für Effizienz, ein bisschen anders aus der Haskell Report-Version.)

auch eine geringfügige Änderung in dem Foldable Standard seit Antwort des duplode ist, dass seltsamer #. Operator, Data.Foldable Code intern in GHC Jahren verwendet. Es ist im Grunde eine effizientere Version von ., die funktioniert nur, wenn die linke Funktion eine Wrapper/Unwrapper-Funktion des neuen Typs ist. Es definiert den neuen newtype Zwang Mechanismus verwenden, und wird in im Wesentlichen nichts optimiert:

(#.) :: Coercible b c => (b -> c) -> (a -> b) -> (a -> c) 
(#.) _f = coerce 
{-# INLINE (#.) #-}