fmap如何使用?

sw2wolf

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

Prelude> fmap (+1) [1,2,3]
[2,3,4]
Prelude> map (+1) [1,2,3]
[2,3,4]

好像與map沒(méi)什么區(qū)別 ?

[ 本帖最后由 sw2wolf 于 2009-5-5 09:03 編輯 ]

izhier

你可以到 Prelude 模塊中找到 fmap 在不同類型 instance Functor 代碼的定義

MMMIX

原帖由 sw2wolf 于 2009-5-5 08:35 發(fā)表
Prelude> :i fmap
class Functor f where fmap :: (a -> b) -> f a -> f b

Prelude> fmap (+1) [1,2,3]
[2,3,4]
Prelude> map (+1) [1,2,3]
[2,3,4]

好像與map沒(méi)什么區(qū)別 ?

對(duì)于 [] 來(lái)說(shuō)，fmap 和 map 確實(shí)沒(méi)有什么區(qū)別。

sw2wolf

-- Given a window, find the screen it is located on, and compute
-- the geometry of that window wrt. that screen.
floatLocation :: Window -> X (ScreenId, W.RationalRect)

--.......
rr <- snd `fmap` floatLocation w
--....

這里的fmap如何理解呢?

MMMIX

原帖由 sw2wolf 于 2009-5-5 14:52 發(fā)表
floatLocation :: Window -> X (ScreenId, W.RationalRect)

--.......
rr <- snd `fmap` floatLocation w
--....

這里的fmap如何理解呢?

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

snd :: (c, d) -> d

floatLocation w 的類型為 X (ScreenId, W.RationalRect)

那么, fmap 應(yīng)用到 snd 上時(shí)，會(huì)將 a 替換為 (c,d), 將 b 替換為 d, 于是 fmap snd 的類型就是 f (c, d) -> f d；在將 fmap snd 應(yīng)用到 floatLocation w 上時(shí)，會(huì)把這里的 f 換為 X, (c,d) 換為 (ScreenId, W.RationalRect)，就得 X (ScreenId, W.RationalRect) -> X W.RationalRect，則 fmap snd (floatLocation w) 的類型就是 X W.RationalRect

[ 本帖最后由 MMMIX 于 2009-5-5 16:38 編輯 ]

MMMIX

其實(shí)，fmap 做的事情，把它的類型稍微重寫下，就很清楚了

1. 
   
2. class Functor f where
   
3.     fmap :: (a -> b) -> (f a -> f b)
   

復(fù)制代碼

也即 fmap 會(huì)將一個(gè)類型為 a -> b 的函數(shù)轉(zhuǎn)換為一個(gè)類型為 f a -> f b 的函數(shù)，其中的 f 就是 class Functor 定義中的參數(shù) f.

sw2wolf

謝謝大家 ！

原來(lái) X 就是 f   !
在
fmap (+2)  [1,2,3,4]中， f是什么呢？

[ 本帖最后由 sw2wolf 于 2009-5-5 19:52 編輯 ]

MMMIX

原帖由 sw2wolf 于 2009-5-5 14:52 發(fā)表
-- Given a window, find the screen it is located on, and compute
-- the geometry of that window wrt. that screen.
floatLocation :: Window -> X (ScreenId, W.RationalRect)

--.......
rr <- snd `fmap` floatLocation w
--....

這里的fmap如何理解呢?

看起來(lái)樓主把同樣的問(wèn)題在 Haskell-Cafe 中又問(wèn)了一遍，其中 Thomas Davie 的回答特別精彩，地址見(jiàn)下
http://www.haskell.org/pipermail ... 009-May/060980.html

MMMIX

原帖由 sw2wolf 于 2009-5-5 19:32 發(fā)表
在
fmap (+2)  [1,2,3,4]中， f是什么呢？

[]

ypyf3000

函子映射 functor map