作者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