函数编程(简称FP)不只代指Haskell Scala等之类的语言,还表示一种编程范式,和面向对象的编程方式一样,是编程思维,软件思考方式,也称面向函数编程。 编程的本质是组合,组合的本质是范畴Category,而范畴是函数的组合。
函数式编程的特点:函数是第一公民,无副作用,内部不存在状态,易于并发。
面向对象编程主要有三点特性:封装,多态,继承,把所有的事物都当做对象来看待,任何事物皆对象。
- 封装就是把对象的属性和对象的行为封装到一个定义的类里面。
- 多态就是同一个对象可以表现为多种具体的形式。
- 继承就是子类可以继承父类的属性和行为。
OOP主要聚焦于数据的区别,而FP则注重数据结构的一致性。
面向对象:
- 数据和对数据的操作紧紧耦合。
- 对象隐藏它们操作的实现细节,其他对象调用这些操作只需要通过接口。
- 核心抽象模型是数据自己。
- 核心活动是组合新对象和拓展已经存在的对象,这是通过加入新的方法实现的。
函数编程:
- 数据与函数是松耦合的
- 函数隐藏了它们的实现,语言的抽象是函数,以及将函数组合起来表达。
- 核心抽象模型是函数,不是数据结构
- 核心活动是编写新的函数。
- 变量缺省是不变的,减少可变性变量的使用,并发性好
函数风格的编程特点:
- 第一等公民是函数
- 带有闭包的Lambdas/Anonymous函数
- 不变性,大部分无态处理,没有状态和变量
- 高并发
- 无副作用的调用
- 通过tail call实现递归的性能优化。
- 模式匹配(Haskell, Erlang)
- 懒赋值(Miranda, Haskell)
- Homoiconicity(类似LISP)
面向对象和函数式编程结合起来,能够极大的简化我们的编程工作,写出跟易于扩展的和可读的代码。在设计上,两者思想是想通的。在不同的领域里面,用不同的思想去设计程序,这个是需要我们分析的。
其实面向对象程序中的设计模式,很多和函数式编程里面的思想想通。我们常用的模板模式和回调模式和函数式编程里面的高阶函数设计思想类似,当设计能力达到一定层次之后,在去看函数式编程,就会对设计模式的理解更加深入。