函数式编程的思想来源与具体表现

目录

●知识的互通

●从范畴论说起

●函子

●MapReduce

●小结

---

●知识的互通

笔者最近在学习的过程中，接触到了MapReduce、JavaScript的高阶函数、范畴论等相关知识。突然想到几个月前写过JAVA8函数式编程的相关博文，发现其实知识是互通，其思想都是相同的，只不过具体表现形式不一样。今天抽空回顾加总结一下这方面的内容，作为函数式编程学习的心得体会。

●从范畴论说起

笔者在《Java8新特性之Stream初探》中第一次提到了函数式编程的概念，感觉还可以继续深挖，把它的来龙去脉再解释清楚一些。

首先，我们从范畴论(Category Theory)开始说起。它指的是“事物及其它们之间的联系”，抽象地看来就是下图这样：

注意，这里的事物是任意的事物，联系也是任意的联系，下图也是一个范畴，左边的事物是语言，右边的事物是分类，联系是解释型语言/编译型语言：

下图同样是一个范畴，将动植物和颜色进行了联系：

我们把图中的事物称为范畴成员，联系的箭头表示范畴成员之间的关系，称为"态射"（morphism）。通过"态射"，一个成员可以变化（transformation）为另一个成员。

我们把它继