作者SansWord (是你)
看板PLT
标题[心得] 今天收到的挑战，也上来问问大家
时间Wed Aug 11 15:50:38 2010
今天午餐有幸跟一群在中研院工作的人吃饭....
大多数人第一次见面，自我介绍是免不了的....
不过这样的自我介绍可能不能介绍兴趣喜好之类的东西....
要介绍我正在研究的东西....
然後，我就被challenge了:
"请5句话解释什麽是monad"
大家有什麽Idea吗?
--
当下没这样讲，不过也许这样说可以比较耸动？
我用的程式语言，砍掉了我的一只手。
可是我试着在少了一只手的情况下，重新生出了一只手。
这只手甚至比以前的手更....乾净？(好啦我接不下去了)
--
--
回忆不会消失...只会被盖在灰尘
下...
只要没有风去吹动~~一切....就可以默默淡忘...
所以....不要成为那伤人的风吧.... ^.^
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 111.71.122.21
1F：→ xcycl:记得第一个引入 monad 到 CS 的是 E. Moggi 08/11 19:14
2F：→ xcycl:但是 monad 本身在各个范畴下的具体意义都不同。 08/11 19:16
3F：推 noctem:如果听众设定为CS背景的人呢？ 08/11 21:10
4F：→ SansWord:恩，这里专指CS的monad, 不是数学的 08/12 00:26
5F：→ SansWord:不过汗颜阿～数学系念完了，才在资科所听到monad 08/12 00:27
6F：→ xcycl:数学系吗？在代数的 action 其实就是一种 monad 。 08/12 02:07
7F：→ xcycl:正确地说，action 是 Elienberg-Moore T-algebra。 08/12 02:09
8F：→ xcycl:相关的例子有 group action 或是 Vector space 08/12 02:09
9F：→ xcycl:vector space (module)其实是filed (ring) action在交换群上 08/12 02:10
10F：→ xcycl:这也是有趣的例子，T-algebra 跟 varieties 是什麽关系呢？ 08/12 02:13
11F：→ xcycl:MacLane 的教科书 p.156 有解释 :p 08/12 02:15