http://www.meetup.com/Functional-Thursday/events/234836390/ 時間: 2016.11.3 (四) 晚上 19:30 (明天) 地點: Mozilla Space 主題: Monadic 程式的等式推論 講者: Shin-Cheng Mu 函數語言的好處之一是可用等式推論：我們可以證明兩個程式相等， 可以由一個程式推演出另一個。但一碰到 monad, 這些好處好像都不見了。 畢竟，monad 談的是副作用，有副作用的程式本就無法視為數學函數了.. 是嗎？ 在做另一個研究時，我發現 monadic 程式的不少性質也可用等式推論的方式證明， 而且比我預期的更漂亮。 這次 Functional Thurday 中我想把目前的初步結果介紹給大家， 也期待大家的意見。 PS. 歡迎 follow FB Functional Thursday 粉絲頁與加入社團歐~ 粉絲頁 https://www.facebook.com/FunctionalThursday/ (公告活動訊息) 社團 https://www.facebook.com/groups/functioanl.thursday/ (互動討論) --

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 112.121.78.5 ※ 文章網址: https://webptt.com/m.aspx?n=bbs/PLT/M.1478093202.A.3A5.html