函数式编程植根于上世纪30年代提出的λ演算，以函数作为程序的一等公民及构建程序的基本单位。

邵成从λ演算的基本规约操作出发，结合Haskell强大的类型推导系统，演示了quickcheck测试； 之后从程序员角度解释了Monad及其用法，进而介绍了 STM 机制和 Haskell 灵活方便的并发编程。

最后的问答环节也非常精彩有趣。

@2016-03-26 14:30 四教-4302