为什么会有map，fmap和liftM？

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

fmap :: Functor f => (a -> b) -> f a -> f b

liftM :: Monad m => (a -> b) -> m a -> m b

为什么我们有三个功能基本相同的功能？

map存在是为了简化列表操作以及出于历史原因（请参见Hasfell中map的作用，当有fmap时？）。

您可能会问为什么我们需要一个单独的地图功能。为什么不取消当前的仅列表映射功能，而是将fmap重命名为map呢？好吧，这是一个好问题。通常的论点是，在不正确使用map的情况下，刚刚学习Haskell的人宁愿看到有关列表的错误，而不是有关Functors的错误。

- Typeclassopedia，第20页

fmap而liftM存在，因为单子是不会自动在Haskell仿函数：

我们同时拥有fmap和liftM的事实是不幸的结果，因为Monad类型类不需要Functor实例，即使从数学上来讲，每个monad都是函子。但是，fmap和liftM本质上是可以互换的，因为将任何类型作为Monad的实例而不同时作为Functor的实例是一个错误（从社会角度而非技术角度）。

- Typeclassopedia，第33页

编辑：奥古斯都的历史map和fmap：

这实际上不是怎么回事。发生的事情是，在Haskell 1.3中，地图的类型被概括为涵盖Functor。即，在Haskell 1.3中，fmap被称为map。然后在Haskell 1.4中还原了此更改，并引入了fmap。发生这种变化的原因是教学上的；当向初学者教授Haskell时，非常通用的地图类型使错误消息更难以理解。我认为这不是解决问题的正确方法。

- 如果有fmap，在Haskell中map的意义是什么？