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/cn.aspx?n=bbs/PLT/M.1478093202.A.3A5.html