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没什么区别 ?

[ 本帖最后由 sw2wolf 于 2009-5-5 09:03 编辑 ]

izhier

你可以到 Prelude 模块中找到 fmap 在不同类型 instance Functor 代码的定义

MMMIX

原帖由 sw2wolf 于 2009-5-5 08:35 发表
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没什么区别 ?

对于 [] 来说，fmap 和 map 确实没有什么区别。

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 发表
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 应用到 snd 上时，会将 a 替换为 (c,d), 将 b 替换为 d, 于是 fmap snd 的类型就是 f (c, d) -> f d；在将 fmap snd 应用到 floatLocation w 上时，会把这里的 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

其实，fmap 做的事情，把它的类型稍微重写下，就很清楚了

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

复制代码

也即 fmap 会将一个类型为 a -> b 的函数转换为一个类型为 f a -> f b 的函数，其中的 f 就是 class Functor 定义中的参数 f.

sw2wolf

谢谢大家 ！

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

[ 本帖最后由 sw2wolf 于 2009-5-5 19:52 编辑 ]

MMMIX

原帖由 sw2wolf 于 2009-5-5 14:52 发表
-- 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如何理解呢?

看起来楼主把同样的问题在 Haskell-Cafe 中又问了一遍，其中 Thomas Davie 的回答特别精彩，地址见下
http://www.haskell.org/pipermail ... 009-May/060980.html

MMMIX

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

[]

ypyf3000

函子映射 functor map