基于范型的java函数式编程（一）
注：在您阅读本篇的时候，希望你对Java Generic（范型）能够有所了解和明白。
记：周末在给javaparty讲FP中，很多人似乎对fp并不关心，也认为java中fp的作用不大。其实这是个很大的观念错误，范型的发展，对java的函数式编程支持很大，对Functor的影响也非常大。Functor在算法、逻辑、条件计算、规则引擎等等方面，都会有很大的作为，这个影响可就会深远的多了。—— 估且以此篇的开端，唤醒java开发者对FP in Java的重新认识。
周六给javaparty讲了java中的函数编程（Functional Programming in Java），但由于自己准备的不充分，讲的并不深入。估且再写点blog补充一下。当然，接下来的日子里，也打算挤点时间再深入钻研以下Functor，感觉这个应用，将来会很广泛，即使java是一个OO语言，是面向状态的命令式编程（Imperative programming）语言。
<!----><o:p> </o:p>
对于Java语言来说，FP并不是其一个特长。但是Functor却是一个很不错的新新亮点，虽然Functor这个概念并不新，早在C++的STL就已经被提出来了：A functor is a function that can be manipulated as an object, or an object representing a single, generic function。—— 透过这个描述，我想我们可以较为这么说：Functor=Function Object。所以，在OO语言中，纯粹的Function是不存在的，在Java语言中，Function也是一个对象，这个对象就是Functor。<o:p></o:p>
但是，在java中，Functor却因为java5对范型（Generic）的支持，终于破土而出，成为一个新新亮点。而我也相信，这个亮点不会只是偶尔的闪烁，必将在未来的很多应用中，显示出璀璨的一面。<o:p></o:p>
<o:p> </o:p>
Functor主要由三种类型：谓词（predicate），函数（function）， 过程（procedure）。谓词的计算结果只返回布尔值；函数的计算计算返回一个对象；过程则只负责计算，没有返回结果<o:p></o:p>
<o:p> </o:p>
predicate <o:p></o:p> |
return a boolean value<o:p></o:p> |
function <o:p></o:p> |
return an Object value<o:p></o:p> |
procedure<o:p></o:p> |
don't return anything<o:p></o:p> |
<o:p></o:p>
Functor本身有一元\二元\三元···之分。当然，我对最为常见的就是一元（UnaryPredicate,UnaryFunction,UnaryProcedure）和二元（BinnaryPredicate,BinnaryFunction,BinnaryProcedure）。<o:p></o:p>
<o:p></o:p>
上面都是一些很抽象的概念，那么一个Functor到底什么样子呢？
<o:p> </o:p>
首先让我们来看一个例子，通过这个例子来一步步明白Functor的用处，明白什么是Functor：
<o:p> </o:p>
public static <T> List<T> select(Collection<T> source, UnaryPredicate<T> selector) {<o:p></o:p> List<T> result = new ArrayList<T>();<o:p></o:p> for(T item : source){<o:p></o:p> if( selector.test( item ) ){<o:p></o:p> result.add(item);<o:p></o:p> }<o:p></o:p> }<o:p></o:p> return result; <o:p></o:p> } |
<o:p> </o:p>
这个例子就是Functor的典型应用，利用Functor中的一元谓词，构造了一个select算法。
<o:p>
（未完，待明天继续） writed by 胡长城（银狐999）</o:p>