Schemer看monad

这个教程性的讲座基于Eugenio Moggi写的Notions of Computation and Monads的前四章, 他从范畴论中拿来了monad的想法, 并指出了其与编程语言的联系.

第1章状态monad