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

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

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

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