简单来说：Monad就是泛函编程中最概括通用的数据模型（高阶数据类型）。它不但涵盖了所有基础类型（primitive types）的泛函行为及操作，而且任何高阶类或者自定义类一旦具备Monad特性就可以与任何类型的Monad实例一样在泛函编程中共同提供一套通用的泛函编程方式。所以有人把泛函编程视.....
分类：
其他好文 时间：
2015-04-28 01:33:33
阅读次数：
139
在上一节我们讨论了Monoid的结合性和恒等值的作用以及Monoid如何与串类元素折叠算法相匹配。不过我们只示范了一下基础类型（primitive type）Monoid实例的应用，所以上一节的讨论目的是理论多于实践。在这一节我们将把重点放在一些实用综合类型（composite type）Mon.....
分类：
其他好文 时间：
2015-04-22 17:37:02
阅读次数：
209
Monoid是数学范畴理论（category theory）中的一个特殊范畴（category）。不过我并没有打算花时间从范畴理论的角度去介绍Monoid，而是希望从一个程序员的角度去分析Monoid以及它在泛函编程里的作用。从这个思路出发我们很自然得出Monoid就是一种数据类型，或者是一种在泛函编程过程中经常会遇到的数据类型：当我们针对List或者loop进行一个数值的积累操作时我们就会使用到...
分类：
其他好文 时间：
2015-04-21 09:56:04
阅读次数：
121
Monoid是数学范畴理论（category theory）中的一个特殊范畴（category）。不过我并没有打算花时间从范畴理论的角度去介绍Monoid，而是希望从一个程序员的角度去分析Monoid以及它在泛函编程里的作用。从这个思路出发我们很自然得出Monoid就是一种数据类型，或者是一种在.....
分类：
其他好文 时间：
2015-04-21 00:14:34
阅读次数：
215
上两节我们建了一个并行运算组件库，实现了一些基本的并行运算功能。到现在这个阶段，编写并行运算函数已经可以和数学代数解题相近了：我们了解了问题需求，然后从类型匹配入手逐步产生题解。下面我们再多做几个练习吧。在上节我们介绍了asyncF，它的类型款式是这样的：asyncF(f: A => B): A.....
分类：
其他好文 时间：
2015-04-14 00:18:59
阅读次数：
206
关于赋范空间的定义：设向量空间X是域K（实数域或复数域）上的线性空间，函数║?║:X→R满足以下三个条件：①对?x∈X， ║x║≥0，且当且仅当x=0时，║x║=0；且当x≠0，║x║>0；②对?x∈X， α∈K，有║αx║=|α|║x║，其中α是一个标量；③对?x，y∈X，有║x+y║≤║x║+║...
分类：
其他好文 时间：
2015-04-13 00:17:53
阅读次数：
150
上节我们讨论了并行运算组件库的基础设计，实现了并行运算最基本的功能：创建新的线程并提交一个任务异步执行。并行运算类型的基本表达形式如下： 1 import java.util.concurrent._ 2 object Par { 3 type Par[A] = ExecutorServic...
分类：
其他好文 时间：
2015-04-12 01:23:16
阅读次数：
155
作为专业的编程人员，我们经常会因为工作需要建立一些工具库。所谓工具库就是针对工作上经常会遇到的一些共性问题预先编制的由一整套函数所组成的函数库。通常这些工具库的功能都是在特别定制的一些数据类型支持下由一系列函数围绕着这些数据类型进行运算而实现的。在泛函编程范畴内也不例外。但在泛函工具库里的函数则.....
分类：
其他好文 时间：
2015-04-04 13:40:21
阅读次数：
167
对OOP编程人员来说，泛函状态State是一种全新的数据类型。我们在上节做了些介绍，在这节我们讨论一下State类型的应用：用一个具体的例子来示范如何使用State类型。以下是这个例子的具体描述：模拟一个自动糖果贩售机逻辑：贩售机有两种操作方法：投入硬币和扭动出糖旋钮。贩售机可以处于锁定和放开两.....
分类：
其他好文 时间：
2015-03-27 23:53:28
阅读次数：
141
上节我们提到Stream和List的主要分别是在于Stream的“延后计算“（lazy evaluation）特性。我们还讨论过在处理大规模排列数据集时，Stream可以一个一个把数据元素搬进内存并且可以逐个元素地进行处理操作。这让我不禁联想到我们常用的数据搜索读取方式了：大量的数据存放在数据库里....
分类：
其他好文 时间：
2015-03-19 13:15:34
阅读次数：
167
