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.iteye.com/viewtopic.php?t=15130) 。
在论战中举了logger和action两个例子,都让人看到了FP对系统开发的过程和结构巨大作用。
BTW:buaawhl总结了functor的几种组合情况(
http://forum.iteye.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中没有也不需要一定的成法。
不过这些实践也给了我们实践一个模式。
分享到:
相关推荐
全书共9章,分别介绍了JavaScript函数式编程、一等函数与Applicative编程、变量的作用域和闭包、高阶函数、由函数构建函数、递归、纯度和不变性以及更改政策、基于流的编程、类编程。除此之外,附录中还介绍了更多...
建模基础算法,函数逼近,用勒让德多项式逼近已知函数
TypeScript中的函数式编程TypeScript中的类型化函数式编程fp-ts是用于TypeScript中的类型化函数编程的库。 fp-ts旨在允许开发人员使用大多数功能语言中可用的流行模式和抽象。 为此,它包括最受欢迎的数据类型,类型...
高一数学课件:已知三角函数值求角
建模算法,函数逼近用傅立叶级数逼近已知的连续周期函数
已知Q是一个非空队列,S是一个空栈。仅用队列和栈的ADT函数和少量工作变量,编写一个算法,将队列Q中的所有元素逆置
建模算法函数逼近处理,用切比雪夫多项式逼近已知函数。
已知三角函数值求角
直接型IIR,在已知传递函数和输入数值之后可以通过改程序得到滤波后的y值
已知函数逼近算法,求已知函数的最佳平方逼近多项式。
径向基函数神经网络对一已知函数逼近
(1) 根据下述情况,分别编写程序,记录 BX 中 1 的个数(需要考虑 BX 中二进制 串的特殊情况),要求如下: 循环次数已知 循环次数未知 (2) 按照下列要求,编写相应程序段。 1) 起始地址为 string 的主存...
从函数式编程已知的元组的Ruby实现。 元组将固定数量的项目组合在一起,以便它们可以作为整体传递。 与数组或列表不同,元组可以容纳不同类型的对象,但它们也是不可变的。 安装 将此行添加到您的应用程序的...
7.28⑤ 已知有向图和图中两个顶点u和v,试编写算法求有向图中从u到v的所有简单路径。 void AllPath(ALGraph g, VertexType sv, VertexType tv,StrARR &path, int &i);
流函数的示例程度,包含多种编程实现:python、matlab、ncl、Fortran
用自适应样条逼近(第一类)已知函数
函数基础逼近算法,用帕德形式的有理分式逼近已知函数。
已知三角函数值求角一
已知三角函数值求角二