转自：http://blog.csdn.net/lins/archive/2006/08/18/1090417.aspx

FP不是一个什么全新的概念，在lisp等语言中被广泛应用，其设计方法向我们描绘了一个美好的世界，不过在OO的世界里应用却还是要费一些力气的。为了更好的应用FP,需要学习一下现有的实践。
 
一、回顾一下函数式编程的几个特性：
1. 闭包计算和高阶函数。
   函数本身是first class对象，闭包是起函数作用并可以像对象一样操作的。
   高阶函数是可以接受一个函数为参数，并可以返回一个函数。     
2. 延迟计算（lazy evaluation）
   不是在函数绑定时计算，而是在求值时计算。
3. 递归的计算机制    
4. 引用透明
    同样的输入返回同样的结果，与上下文无关。    
5. 没有副作用
    赋值后不能更改，既成为constant     
 
二、OO世界中FP的身影。
The First：JDK下的FP 
1.  闭包计算的例子如：BigDecimal.add(…).add(…).multiply(…).substract(…) 
     高阶函数一个例子是：Collections和Comparator接口，Comparator的操作是个闭包操作， 而Collections的sort以它为参数。 
2.  没有副作用的例子如下： 
     BigDecimal.add(…).add(…).multiply(…).substract(…) 
     String.subString(...)
 
The Second：DDD的Specification 
DDD一书提出了specification（chapter 10代码就不贴了），不仅统一了Domain Model中不同的建模概念，而且应用FP的闭包能力在specification让人耳目一新。
 
The Third：CO编程 
CO编程的概念是ajoo在javaeye论坛上提出(http://forum.javaeye.com/viewtopic.php?t=15130) 。
在论战中举了logger和action两个例子，都让人看到了FP对系统开发的过程和结构巨大作用。 
  
BTW：buaawhl总结了functor的几种组合情况(http://forum.javaeye.com/viewtopic.php?t=21533, 以下是简化版，略有修改) 
1. Functor组合 - Combinator, Pipe 
    Functor有多个，参数只有一个。这一类的特点是，Functor移动，参数不动。 
2. 参数集合 - Visitor, Map, Filter, Reduce 
    这一类比较有趣。参数是多个，是一个集合，Functor可以是一个（也可能是多个）。 
    这一类的特点是，Functor不动，参数移动。 
3. Functor组合，参数集合 - Curry, Factory Chain 
    最复杂的类型，就是这一类了。Functor移动，参数也移动。 
    
关于Curry，是FP的另一个特性。 
举个例子：F(x, y, z) ＝ 2 * x + y - z。 
F(1, 2, 3) 用Curry的方式写就是，f(1)(2)(3)。这是FP语法。 
由于FP下没有成员变量，只好借用Curry + Closure来积累多个变量。 
换成类似于c, java, c#的语法来写，就是Factory Chain的写法。 
     factory.generate(1).generate(2).generate(3); 
这里的关键是，上一个Functor处理参数的结果产生了下一个Functor，下一个Functor继续处理下一个参数，产生下一个Functor。 
如java世界中著名的orm框架hibernate的criteria和Query：SessionFactory.newSession(..).newQuery(…).setParameter(…).setParameter(…) 
等等形式，都具有Curry, Factory Chain的形式特点。虽然有时候，Functor返回的是自己。
 
The Four and so on 
还不知道，但相信还有更多。
 
三、回顾小结应用现状： 
1. JDK和Hibernate的设计提高了开发过程的体验，还没有对系统开发有大的影响（或许我的认识还太过于肤浅） 
2. 而DDD的例子，则实践了FP的闭包。封装了对返回值的操作能力，相当于specification的and，or和not包装了对操作符调用。 
  
BTW：DDD例子中，不同的函数组合后共同操作相同输入参数。实践中还会出现不同函数组合在一起，但各自有各自的输入参数。对于可能存在的Pipe组合，使得操作值和返回值是同一类型，相当于functor包装了操作符。 
  
3. ajoo的CO例子实践了FP的高阶函数（实践后看上去像Decorate模式，不过出发点不一样）。 
封装了对流程的控制的能力，提供sequenue和pipe等的计算能力。这样的设计要求开发者明确了解对高阶函数和输入函数的关系。另外CO没有提供闭包能力。 
  
无论如何，现有的几个实践：JDK，hibernate,ajoo的例子和DDD的例子都说明了：
基于不同的需求，需要不同的业务行为，函数式编程更多的是一种思路，在OO中没有也不需要一定的成法。

不过这些实践也给了我们实践一个模式。

马嘉楠
jianan.ma@gmail.com