［转］关于Category Theory 和Monad

MMMIX

格式太乱。另外，转帖最好附上原文地址。

Magicloud

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

原文地址在最下边。

MMMIX

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

原文地址在最下边。

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

retuor

ls 的没跟进去吧？

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

izhier

原文地址错了吧

Magicloud

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

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

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

Magicloud

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

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

God，贴错了地址……

MMMIX

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

没有。

freearth

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

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

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

win_hate

文章不错。

这段没看明白：

对于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 的等价性还没看懂。