2015年05月_TIGER_XC

12月 11月 10月 09月 08月 07月 06月 05月 04月 03月 02月 01月

原创泛函编程（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 879

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

原创 泛函编程（27）－泛函编程模式－Monad Transformer

原创 泛函编程（26）－泛函数据类型－Monad－Applicative Functor Traversal

原创 泛函编程（25）－泛函数据类型－Monad－Applicative

空空如也

空空如也

原创泛函编程（27）－泛函编程模式－Monad Transformer

原创泛函编程（26）－泛函数据类型－Monad－Applicative Functor Traversal

原创泛函编程（25）－泛函数据类型－Monad－Applicative