[心得] 今天收到的挑戰,也上來問問大家

看板PLT (程式語言與理論)作者 (是妳)時間14年前 (2010/08/11 15:50), 編輯推噓1(1010)
留言11則, 3人參與, 最新討論串1/2 (看更多)
今天午餐有幸跟一群在中研院工作的人吃飯.... 大多數人第一次見面,自我介紹是免不了的.... 不過這樣的自我介紹可能不能介紹興趣喜好之類的東西.... 要介紹我正在研究的東西.... 然後,我就被challenge了: "請5句話解釋什麼是monad" 大家有什麼Idea嗎? -- 當下沒這樣講,不過也許這樣說可以比較聳動? 我用的程式語言,砍掉了我的一隻手。 可是我試著在少了一隻手的情況下,重新生出了一隻手。 這隻手甚至比以前的手更....乾淨?(好啦我接不下去了) -- -- 回憶不會消失...只會被蓋在灰塵下... 只要沒有去吹動~~一切....就可以默默淡忘... 所以....不要成為那傷人吧.... ^.^ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 111.71.122.21

08/11 19:14, , 1F
記得第一個引入 monad 到 CS 的是 E. Moggi
08/11 19:14, 1F

08/11 19:16, , 2F
但是 monad 本身在各個範疇下的具體意義都不同。
08/11 19:16, 2F

08/11 21:10, , 3F
如果聽眾設定為CS背景的人呢?
08/11 21:10, 3F

08/12 00:26, , 4F
恩,這裡專指CS的monad, 不是數學的
08/12 00:26, 4F

08/12 00:27, , 5F
不過汗顏阿~數學系念完了,才在資科所聽到monad
08/12 00:27, 5F

08/12 02:07, , 6F
數學系嗎?在代數的 action 其實就是一種 monad 。
08/12 02:07, 6F

08/12 02:09, , 7F
正確地說,action 是 Elienberg-Moore T-algebra。
08/12 02:09, 7F

08/12 02:09, , 8F
相關的例子有 group action 或是 Vector space
08/12 02:09, 8F

08/12 02:10, , 9F
vector space (module)其實是filed (ring) action在交換群上
08/12 02:10, 9F

08/12 02:13, , 10F
這也是有趣的例子,T-algebra 跟 varieties 是什麼關係呢?
08/12 02:13, 10F

08/12 02:15, , 11F
MacLane 的教科書 p.156 有解釋 :p
08/12 02:15, 11F
文章代碼(AID): #1CObPIUb (PLT)
文章代碼(AID): #1CObPIUb (PLT)