Chinaunix

标题: ［转］关于Category Theory 和Monad [打印本页]

作者: MMMIX 时间: 2009-03-26 11:18
格式太乱。另外，转帖最好附上原文地址。

作者: Magicloud 时间: 2009-03-26 11:25

原帖由 MMMIX 于 2009-3-26 11:18 发表
格式太乱。另外，转帖最好附上原文地址。

原文地址在最下边。

作者: MMMIX 时间: 2009-03-26 12:25

原帖由 Magicloud 于 2009-3-26 11:25 发表

原文地址在最下边。

找到了。不过，我觉得直接贴链接地址更显眼一些，因而也更容易发现。

作者: retuor 时间: 2009-03-26 12:47
ls 的没跟进去吧？

lz，原文－－－也就是 id 为 940049 的 post 很有点雷人哦。

作者: izhier 时间: 2009-03-26 12:55

原文地址错了吧

作者: Magicloud 时间: 2009-03-26 13:14

原帖由 MMMIX 于 2009-3-26 12:25 发表

找到了。不过，我觉得直接贴链接地址更显眼一些，因而也更容易发现。

不知道为啥，我的浏览器看这个连接不是变蓝色的，所以就不容易发现了……

作者: Magicloud 时间: 2009-03-26 13:16

原帖由 retuor 于 2009-3-26 12:47 发表
ls 的没跟进去吧？

lz，原文－－－也就是 id 为 940049 的 post 很有点雷人哦。

God，贴错了地址……

作者: MMMIX 时间: 2009-03-26 14:26

原帖由 retuor 于 2009-3-26 12:47 发表
ls 的没跟进去吧？

没有。

作者: freearth 时间: 2009-03-26 18:49
这篇文章好难看懂，呵呵，数学知识都要反应反应才能想起来。
作者真是比较强，这是完全从数学的角度来理解Haskell的类型系统和Monad。

原帖由 Magicloud 于 2009-3-26 09:53 发表
【转载请注明出处】

声明:我没有学过Haskell, 甚至连GHC都是刚下下来还没弄清楚怎么用。对于Haskell一些特性的认识只是这几天通过AlbertLee的翻译稿作了一些很初步的摸索(这里要非常感谢AlbertLee让我节省了 ...

作者: win_hate 时间: 2009-03-27 00:09
文章不错。

这段没看明白：

对于C中的morphism,f:a->T(b),经过算子T有T(f):T(a)->T(T(b)),那么μb o T(f)=T(T(b))->T(b) o T(a)- >T(T(b))=T(a)->T(b).最终和bind >>=的定义同构。

按数学上的定义，monad 中的 μ 为 T^2 到 T 的自然变换，所以 μx 的类型应该是 (T (T x)) -> (T x)。

Philip Wadler 早期的文章在引人 monad 时采用的是 join/map 途径，而 join 类型就是 (M (M x)) -> (M x)。

join, bind 的等价性还没看懂。

作者: drunkedcat 时间: 2009-03-28 15:02
看完了，好文章，讲得真透彻啊。
要不是假期看了点范畴论，还真难看懂。
想看原文

因为图没有看到。楼主给原文地址。

作者: win_hate 时间: 2009-03-28 15:16

原帖由 drunkedcat 于 2009-3-28 15:02 发表
看完了，好文章，讲得真透彻啊。
要不是假期看了点范畴论，还真难看懂。
想看原文

因为图没有看到。楼主给原文地址。

我问的那一段能帮忙解释一下吗？

原文也没有图，跟这个一样的，不用找了。

那几个图自己画一下好了。

作者: drunkedcat 时间: 2009-03-29 12:09
标题: 回复 #13 win_hate 的帖子
这个我记得是有个证明的，忘记在哪看的了。我再找找。

作者: Magicloud 时间: 2009-03-29 14:34

原帖由 win_hate 于 2009-3-28 15:16 发表

我问的那一段能帮忙解释一下吗？

原文也没有图，跟这个一样的，不用找了。

那几个图自己画一下好了。

原文的圖要有J眼的帳號才能看到……

作者: win_hate 时间: 2009-03-29 19:22
标题: 轻松一下，有人认识它吗

cat.png (26.45 KB, 下载次数: 39)

作者: drunkedcat 时间: 2009-03-29 21:03
呵呵，win_hate 兄在拿我开涮吗？

我找到那个文章了，链接在这里。
http://en.wikibooks.org/wiki/Haskell/Category_theory

作者: win_hate 时间: 2009-03-29 21:19
标题: 回复 #17 drunkedcat 的帖子
收到，谢谢了。

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