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] 

如果你看一下source，對列表中的仿函數實例定義fmap爲map：

instance Functor [] where 
    fmap = map