04 2015 档案

泛函编程（23）－泛函数据类型－Monad
摘要：简单来说：Monad就是泛函编程中最概括通用的数据模型（高阶数据类型）。它不但涵盖了所有基础类型（primitive types）的泛函行为及操作，而且任何高阶类或者自定义类一旦具备Monad特性就可以与任何类型的Monad实例一样在泛函编程中共同提供一套通用的泛函编程方式。所以有人把泛函编程视... 阅读全文
posted @ 2015-04-27 23:48 雪川大虫 阅读(1454) 评论(1) 推荐(0) 编辑
泛函编程（22）－泛函数据类型－Monoid In Action
摘要：在上一节我们讨论了Monoid的结合性和恒等值的作用以及Monoid如何与串类元素折叠算法相匹配。不过我们只示范了一下基础类型（primitive type）Monoid实例的应用，所以上一节的讨论目的是理论多于实践。在这一节我们将把重点放在一些实用综合类型（composite type）Mon... 阅读全文
posted @ 2015-04-22 17:08 雪川大虫 阅读(1416) 评论(0) 推荐(0) 编辑
泛函编程（21）－泛函数据类型－Monoid
摘要：Monoid是数学范畴理论（category theory）中的一个特殊范畴（category）。不过我并没有打算花时间从范畴理论的角度去介绍Monoid，而是希望从一个程序员的角度去分析Monoid以及它在泛函编程里的作用。从这个思路出发我们很自然得出Monoid就是一种数据类型，或者是一种在... 阅读全文
posted @ 2015-04-20 22:52 雪川大虫 阅读(2307) 评论(1) 推荐(0) 编辑
泛函编程（20）－泛函库设计－Further Into Parallelism
摘要：上两节我们建了一个并行运算组件库，实现了一些基本的并行运算功能。到现在这个阶段，编写并行运算函数已经可以和数学代数解题相近了：我们了解了问题需求，然后从类型匹配入手逐步产生题解。下面我们再多做几个练习吧。在上节我们介绍了asyncF，它的类型款式是这样的：asyncF(f: A => B): A... 阅读全文
posted @ 2015-04-13 22:45 雪川大虫 阅读(1018) 评论(3) 推荐(2) 编辑
泛函编程（19）－泛函库设计－Parallelism In Action
摘要：上节我们讨论了并行运算组件库的基础设计，实现了并行运算最基本的功能：创建新的线程并提交一个任务异步执行。并行运算类型的基本表达形式如下： 1 import java.util.concurrent._ 2 object Par { 3 type Par[A] = ExecutorServic... 阅读全文
posted @ 2015-04-12 00:36 雪川大虫 阅读(1050) 评论(2) 推荐(1) 编辑
泛函编程（18）－泛函库设计－并行运算组件库
摘要：作为专业的编程人员，我们经常会因为工作需要建立一些工具库。所谓工具库就是针对工作上经常会遇到的一些共性问题预先编制的由一整套函数所组成的函数库。通常这些工具库的功能都是在特别定制的一些数据类型支持下由一系列函数围绕着这些数据类型进行运算而实现的。在泛函编程范畴内也不例外。但在泛函工具库里的函数则... 阅读全文
posted @ 2015-04-04 13:14 雪川大虫 阅读(1080) 评论(0) 推荐(1) 编辑

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