06 2015 档案

泛函编程（31）－泛函IO：Free Monad－Running free
摘要：在上节我们介绍了Free Monad的基本情况。可以说Free Monad又是一个以数据结构替换程序堆栈的实例。实际上Free Monad的功能绝对不止如此，以heap换stack必须成为Free Monad的运算模式，这样我们才可以放心的使用Free Monad所产生的Monadic编程语言了... 阅读全文
posted @ 2015-06-25 14:10 雪川大虫 阅读(1916) 评论(8) 推荐(1) 编辑
泛函编程（30）－泛函IO：Free Monad－Monad生产线
摘要：在上节我们介绍了Trampoline。它主要是为了解决堆栈溢出（StackOverflow）错误而设计的。Trampoline类型是一种数据结构，它的设计思路是以heap换stack：对应传统递归算法运行时在堆栈上寄存程序状态，用Trampoline进行递归算法时程序状态是保存在Trampoli... 阅读全文
posted @ 2015-06-18 17:56 雪川大虫 阅读(1489) 评论(4) 推荐(1) 编辑
泛函编程（29）－泛函实用结构：Trampoline-不再怕StackOverflow
摘要：泛函编程方式其中一个特点就是普遍地使用递归算法，而且有些地方还无法避免使用递归算法。比如说flatMap就是一种推进式的递归算法，没了它就无法使用for-comprehension，那么泛函编程也就无法被称为Monadic Programming了。虽然递归算法能使代码更简洁易明，但同时又以占用堆... 阅读全文
posted @ 2015-06-10 21:39 雪川大虫 阅读(2481) 评论(0) 推荐(4) 编辑
泛函编程（28）－粗俗浅解：Functor, Applicative, Monad
摘要：经过了一段时间的泛函编程讨论，始终没能实实在在的明确到底泛函编程有什么区别和特点；我是指在现实编程的情况下所谓的泛函编程到底如何特别。我们已经习惯了传统的行令式编程（imperative programming），总是先入为主的认为软件编程就是一行接着一行的更改某些变量状态指令：明刀明枪，字里行... 阅读全文
posted @ 2015-06-02 15:55 雪川大虫 阅读(1499) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示