05 2015 档案

泛函编程（27）－泛函编程模式－Monad Transformer
摘要：经过了一段时间的学习，我们了解了一系列泛函数据类型。我们知道，在所有编程语言中，数据类型是支持软件编程的基础。同样，泛函数据类型Foldable,Monoid,Functor,Applicative,Traversable,Monad也是我们将来进入实际泛函编程的必需。在前面对这些数据类型的探讨... 阅读全文
posted @ 2015-05-28 23:25 雪川大虫 阅读(1439) 评论(0) 推荐(0) 编辑
泛函编程（26）－泛函数据类型－Monad－Applicative Functor Traversal
摘要：前面我们讨论了Applicative。Applicative 就是某种Functor，因为我们可以用map2来实现map，所以Applicative可以map，就是Functor，叫做Applicative Functor。我们又说所有Monad都是Applicative，因为我们可以用flat... 阅读全文
posted @ 2015-05-21 19:27 雪川大虫 阅读(1103) 评论(0) 推荐(0) 编辑
泛函编程（25）－泛函数据类型－Monad－Applicative
摘要：上两期我们讨论了Monad。我们说Monad是个最有概括性（抽象性）的泛函数据类型，它可以覆盖绝大多数数据类型。任何数据类型只要能实现flatMap+unit这组Monad最基本组件函数就可以变成Monad实例，就可以使用Monad组件库像for-comprehension这样特殊的、Monad... 阅读全文
posted @ 2015-05-12 16:52 雪川大虫 阅读(1095) 评论(1) 推荐(0) 编辑
泛函编程（24）－泛函数据类型－Monad, monadic programming
摘要：在上一节我们介绍了Monad。我们知道Monad是一个高度概括的抽象模型。好像创造Monad的目的是为了抽取各种数据类型的共性组件函数汇集成一套组件库从而避免重复编码。这些能对什么是Monad提供一个明确的答案吗？我们先从上节设计的Monad组件库中的一些基本函数来加深一点对Monad的了解： ... 阅读全文
posted @ 2015-05-05 17:16 雪川大虫 阅读(1313) 评论(0) 推荐(0) 编辑

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