学习 Haskell 过程中，写了一篇对 Functor 的总结

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

这是一个创建于 3236 天前的主题，其中的信息可能已经有所发展或是发生改变。

http://scarletsky.github.io/2016/02/09/what-is-functor-in-haskell/

欢迎各位指教。

functor

Haskell

指教

总结

9 条回复 • 2016-03-01 16:09:41 +08:00

eccstartup

2016-02-11 12:11:45 +08:00

可以增加一些复杂数据类型的例子。

scarlex

2016-02-11 12:58:46 +08:00

我是刚学习 Functor ，还没接触太多复杂的数据类型

aaaron7

2016-02-13 01:36:32 +08:00

严格意义上来说， List 应该是 Functor 的一个 instance 吧。

scarlex

2016-02-14 11:42:20 +08:00

@aaaron7 是的，不过对初学者来说，认为 List 是一个 Functor 就好了吧~

bramblex

2016-03-01 13:05:23 +08:00

functor 是函子

fmap 实际上就是一个类型 T(a) -> T(b) 的一个映射。

======================

为什么 fmap id = id ？首先 id 的类型是 a -> a ，你给 fmap 了以后， fmap id 是不是变成了 T(a) -> T(a) 了？现在令 T(a) 为 a ，是不是 fmap id 又变回 a -> a 了？

为什么 fmap (f . g) = fmap f . fmap g 呢？
假设 f : a -> b, g: b -> c ，那么 f . g : a -> c
f . g : a -> c
famp (f . g) : T(a) -> T(c)

fmap f : T(a) -> T(b)
fmap g : T(b) -> T(c)
fmap f . fmap g : T(a) -> T(c)

所以 fmap (f .g) = fmap f . fmap g

scarlex

2016-03-01 14:01:59 +08:00

@bramblex 受教了~

scarlex

2016-03-01 14:44:03 +08:00

@bramblex 已添加证明过程~

bramblex

2016-03-01 14:50:00 +08:00

@scarlex

不不不，这不是严谨证明

这只是从类型的角度来帮助理解 functor 是个啥而已。

scarlex

2016-03-01 16:09:41 +08:00

@bramblex 但这种证明方式对初学者很友好，很容易理解