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/
(互动讨论)