Fmap和地图,我看不出差别

Question

我试图了解这些算子是什么,但到目前为止我不能.这两者之间有什么区别:

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 :: (a -> b) -> [a] -> [b]

如果查看源代码,列表的仿函数实例定义fmap为map:

instance Functor [] where
    fmap = map