Что такое «fmapDefault» в «Data.Traversable»?

Question

Я смотрю на документацию для Data.Traversable и наткнулся на 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 

-сдаточной документации говорится, что -

Эта функция может быть использована в качестве значения БПМЖ в экземпляре Functor, при условии, что траверс определен.

Так, предположительно это может быть использовано для выведения fmap для Traversable экземпляра. Однако Traversable имеет Functor как суперкласс.

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

Таким образом, вы не можете определить Traversable экземпляр без определения экземпляра Functor первым! И где бы вы ни находились Traversable, у вас есть доступ к fmap, что эквивалентно (и, возможно, более эффективно, чем) fmapDefault.

Итак, где бы вы использовали fmapDefault, а не намного знакомы fmap?

Answer 1

Это позволяет писать

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. 

То есть, я не думаю, что это действительно разумно. Экземпляры Functor обычно тривиальны для выполнения вручную, и очевидная реализация, скорее всего, будет более эффективной, чем производная от Traversable. Обычно экземпляр может быть создан автоматически:

{-# LANGUAGE DeriveFunctor #-} 

data Foo a = ... 
     deriving (Functor)