Chinaunix

标题: fmap如何使用? [打印本页]

作者: sw2wolf 时间: 2009-05-05 08:35
标题: fmap如何使用?
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 时间: 2009-05-05 09:12
标题: 回复 #1 sw2wolf 的帖子
你可以到 Prelude 模块中找到 fmap 在不同类型 instance Functor 代码的定义

作者: MMMIX 时间: 2009-05-05 09:51

原帖由 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 时间: 2009-05-05 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如何理解呢?

作者: MMMIX 时间: 2009-05-05 16:25

原帖由 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 时间: 2009-05-05 16:56
标题: 回复 #5 MMMIX 的帖子
其实，fmap 做的事情，把它的类型稍微重写下，就很清楚了

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

复制代码

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

作者: sw2wolf 时间: 2009-05-05 19:32
谢谢大家！

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

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

作者: MMMIX 时间: 2009-05-06 12:23

原帖由 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 时间: 2009-05-06 12:24

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

[]

作者: ypyf3000 时间: 2009-05-06 19:46
函子映射 functor map

作者: MMMIX 时间: 2009-05-06 20:00

原帖由 ypyf3000 于 2009-5-6 19:46 发表
函子映射 functor map

What's this supposed to mean?

欢迎光临 Chinaunix (http://bbs.chinaunix.net/)