[情報] Functional Thursday #45
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://www.ptt.cc/bbs/PLT/M.1478093202.A.3A5.html
PLT 近期熱門文章
PTT數位生活區 即時熱門文章
