Was ist der Punkt von 'fmapDefault' in 'Data.Traversable'?

Question

ich für Data.Traversable in der Dokumentation suchen und stieß auf fmapDefault - https://downloads.haskell.org/~ghc/latest/docs/html/libraries/base/Data-Traversable.html#g:3

fmapDefault :: Traversable t => (a -> b) -> t a -> t b 

In der Dokumentation, die -

Diese Funktion als Wert für fmap in einer Functor Instanz verwendet werden kann, sofern der Polygonzug definiert ist.

So vermutlich kann es verwendet werden, um eine fmap für eine Traversable Instanz abzuleiten. Jedoch hat TraversableFunctor als eine Oberklasse.

class (Functor t, Foldable t) => Traversable t where 
    ... 

So können Sie keine Traversable Instanz ohne zu definieren, die Functor Instanz zuerst definieren! Und wo immer Sie eine Traversable haben, haben Sie Zugriff auf eine fmap, die (und vielleicht effizienter als) fmapDefault entspricht.

Also wo würde man fmapDefault statt der viel vertrauten fmap verwenden?

Answer 1

Es ermöglicht Ihnen

data Foo a = ... 

instance Functor Foo where -- we do define the functor instance, but we “cheat” 
    fmap = fmapDefault  -- by using `Traversable` in its implementation! 

instance Traversable Foo where 
    traverse = ...   -- only do this manually. 

Das heißt zu schreiben, ich glaube nicht, das wirklich sinnvoll ist. Functor-Instanzen sind in der Regel trivial, um von Hand zu tun, und die offensichtliche Implementierung wird in der Tat wahrscheinlich effizienter sein als eine abgeleitete. Normalerweise kann die Instanz tatsächlich automatisch erstellt werden:

{-# LANGUAGE DeriveFunctor #-} 

data Foo a = ... 
     deriving (Functor)