2015年6月18日
泛函编程（30）－泛函IO：Free Monad－Monad生产线
摘要： 在上节我们介绍了Trampoline。它主要是为了解决堆栈溢出（StackOverflow）错误而设计的。Trampoline类型是一种数据结构，它的设计思路是以heap换stack：对应传统递归算法运行时在堆栈上寄存程序状态，用Trampoline进行递归算法时程序状态是保存在Trampoli... 阅读全文
posted @ 2015-06-18 17:56 雪川大虫 阅读(1500) 评论(4) 推荐(1)