- 博客(6)
- 收藏
- 关注
RSS订阅原创 泛函编程（24）－泛函数据类型－Monad, monadic programming
在上一节我们介绍了Monad。我们知道Monad是一个高度概括的抽象模型。好像创造Monad的目的是为了抽取各种数据类型的共性组件函数汇集成一套组件库从而避免重复编码。这些能对什么是Monad提供一个明确的答案吗？我们先从上节设计的Monad组件库中的一些基本函数来加深一点对Monad的了解： trait Monad[M[_]] extends Functor[M] { def uni
2015-04-28 11:43:57
873
原创 泛函编程（22）－泛函数据类型－Monoid In Action
在上一节我们讨论了Monoid的结合性和恒等值的作用以及Monoid如何与穿类元素折叠算法相匹配。不过我们只示范了一下基础类型（primitive type）Monoid实例的应用，所以上一节的讨论目的是理论多于实践。在这一节我们将把重点放在一些实用综合类型（composite type）Monoid实例及Monoid的抽象表达及函数组合能力。 Monoid的二元操作函数具有结合特性（a
2015-04-21 09:59:32
795
原创 泛函编程（21）－泛函数据类型－Monoid
Monoid是数学范畴理论（category theory）中的一个特殊范畴（category）。不过我并没有打算花时间从范畴理论的角度去介绍Monoid，而是希望从一个程序员的角度去分析Monoid以及它在泛函编程里的作用。从这个思路出发我们很自然得出Monoid就是一种数据类型，或者是一种在泛函编程过程中经常会遇到的数据类型：当我们针对List或者loop进行一个数值的积累操作时我们就会使用到
2015-04-20 17:29:28
924
原创 泛函编程（20）－泛函库设计－Further Into Parallelism
上两节我们建了一个并行运算组件库，实现了一些基本的并行运算功能。到现在这个阶段，编写并行运算函数已经可以和数学代数解题相近了：我们了解了问题需求，然后从类型匹配入手逐步产生题解。让我们再做多几个练习吧。在上节我们介绍了asyncF，它的类型款式是这样的：asyncF(f: A => B): A => Par[B]，从类型款式（type signature）分析，asyncF函数的功能是把一个普
2015-04-12 19:23:12
923
原创 泛函编程（19）－泛函库设计－Parallelism In Action
上节我们讨论了并行运算组件库的基础设计，实现了并行运算最基本的功能：创建新的线程并提交一个任务异步执行。并行运算类型的基本表达形式如下：import java.util.concurrent._object Par { type Par[A] = ExecutorService => Future[A] def run[A](es: ExecutorService)(pa: Par[
2015-04-11 10:10:20
1234
原创 泛函编程（18）－泛函库设计－并行运算组件库
作为专业的编程人员，我们经常会因为工作需要建立一些工具库。所谓工具库就是针对工作上经常会遇到的一些共性问题预先编制的由一整套函数所组成的函数库。通常这些工具库的功能都是在特别定制的一些数据类型支持下由一系列函数围绕着这些数据类型各自运算而实现的。在泛函编程范畴内也不例外。但在泛函工具库里的函数则更重视函数的组合能力（functional composition）；因而泛函的工具库一般称为组件库（c
2015-04-02 21:11:36
542
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人