haskell - fmap和map，我看不出区别

Question

我试图了解仿函数是什么，但到目前为止我还不能。这2个有什么区别:

Prelude> fmap (+1) [1..9]
[2,3,4,5,6,7,8,9,10]

Prelude> map (+1) [1..9]
[2,3,4,5,6,7,8,9,10]

Answer 1

对于列表，没有区别，map只是 fmap专门用于列表。
fmap有一个更一般的类型:

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

这意味着它可以与任何仿函数一起使用，例如

fmap (+ 3) (Just 4)          -- Just 7
fmap (+ 4) (+ 3) 1           -- 8. Functions are functors where fmap = (.)
fmap read getLine :: IO Int  -- IO is a functor

虽然 map 有类型

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

如果您查看 source ，列表的仿函数实例定义 fmap如 map :

instance Functor [] where
    fmap = map