为什么Functor不公开fmap的默认实现？

Question

在Functor类类型定义中：

class Functor f where
    fmap :: (a -> b) -> f a -> f b

为什么fmap没有默认实现？这样的事情：

class Functor f where
    fmap :: (a -> b) -> f a -> f b
    fmap fn (f a) = (f $ (fn) a)

当我编写Functor的实例时，我会手动为每个实例编写相同的代码。我有办法指定默认实现吗？

Answer 1

你可能想要这个：

{-# LANGUAGE DeriveFunctor #-}

data T1 a = T1 a
  deriving Functor
data T2 a = T2 a
  deriving Functor

至于为什么没有针对仿函数的默认实现：只有f是身份仿函数（直到同构）时，您的提案才有效。也就是说，它适用于

data F a = F a

但它不会起作用

data F a = F a a

或

data F a = F (Int -> a) [a] (Maybe a)

需要更复杂的fmap s。

虽然无法编写适用于所有情况的默认fmap，但在许多简单的情况下（如上述情况），发现fmap应该是什么似乎微不足道。 幸运的是，我们现在有derive Functor来涵盖这些简单的案例。