Name: [In Chinese] Functional Thursday #45
Start: 2016-11-03T19:30:00+08:00
End: 2016-11-03T22:30:00+08:00
Location: Mozilla Space

[19:30 ~ 19:45] 自由交流

[19:45 ~ 20:25] Monadic 程式的等式推論 by Shin-Cheng Mu

函數語言的好處之一是可用等式推論：我們可以證明兩個程式相等，可以由一個程式推演出另一個。但一碰到 monad, 這些好處好像都不見了。畢竟，monad 談的是副作用，有副作用的程式本就無法視為數學函數了.. 是嗎？

在做另一個研究時，我發現 monadic 程式的不少性質也可用等式推論的方式證明，而且比我預期的更漂亮。這次 Functional Thurday 中我想把目前的初步結果介紹給大家，也期待大家的意見。

[20:25 ~ ] lightning talk & 自由交流

也歡迎大家來

https://funth.hackpad.com/Functional-Thursday-Topics-sGic3s4ncNn

填填看想投稿/想要聽的主題唷！

CindyLinz

Greg Weng

Functional Thursday

Technology

Programming Languages

Scala

Haskell

Functional Programming

Erlang Programming

Compilers

Parallel Programming

Computational Science and Engineering

Python

Type Theory

[In Chinese] Functional Thursday #45

Mozilla Space

Share

Functional Thursday

[In Chinese] Functional Thursday #45

Functional Thursday

Details

Members are also interested in