- 博客(3)
- 收藏
- 关注
原创 泛函编程(27)-泛函编程模式-Monad Transformer
经过了一段时间的学习,我们了解了一系列泛函数据类型。我们知道,在所有编程语言中,数据类型是支持软件编程的基础。同样,泛函数据类型Foldable,Monoid,Functor,Applicative,Traversable,Monad也是我们将来进入实际泛函编程的必需。在前面对这些数据类型的探讨中我们发现:1、Monoid的主要用途是在进行折叠(Foldable)算法时对可折叠结构内元素进行函
2015-05-28 11:06:47 911
原创 泛函编程(26)-泛函数据类型-Monad-Applicative Functor Traversal
前面我们讨论了Applicative。Applicative 就是某种Functor,因为我们可以用map2来实现map,所以Applicative可以map,就是Functor,叫做Applicative Functor。我们又说所有Monad都是Applicative,因为我们可以用flatMap来实现map2,但不是所有数据类型的flatMap都可以用map2实现,所以不是所有Applica
2015-05-18 20:11:45 776
原创 泛函编程(25)-泛函数据类型-Monad-Applicative
上两期我们讨论了Monad。我们说Monad是个最有概括性(抽象性)的泛函数据类型,它可以覆盖绝大多数数据类型。Monad的
2015-05-10 09:53:15 882
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人