从具体的编程语言实现来来看,数据的不变性,一等函数,高等函数,lambda运算,闭包,惰性求值。另外函数式编程大量使用递归,但是递归效率很低,因此出现了尾递归来优化。除了这些通用的特性以外各个编程语言还实现了自己独有的函数式编程特性。下面就先从通用的开始介绍,然后在介绍各个编程语言独有的特性。
数据的不变性:数据不变性指的是一个编程语言中的数据类型一旦分配空间并初始化,那么他的内容就不可以再改变。由于这儿讨论的是都是面向对象的编程对象,而面向对象的编程语言中可以有两种类型的”变“:引用改变和对象属性的改变。引用改变非常简单,Java的final和C++的const都可以实现。因此这儿代表的是对象属性的不可变,在函数式编程里面强调避免使用程序状态以及易变对象。因为这样就不用考虑对象共享的问题了,一个对象可以任意共享,因为知道这个对象会保持原样。
Scala中的不变:Scala中提供了var和val用来控制引用的不变性,var表示变量,val表示不变。注意他们就相当于Java中的final关键字,并没有保证底层对象的不可变。例如:
import scala.collection.mutable.Map
val treasureMap = Map[Int, String]()
treasureMap += (1 ->"Go toisland.")
treasureMap += (2 ->"Find big X onground.")
treasureMap += (3 ->"Dig.")
另外注意:如果对象的每一个属性都用val声明的话,那么就可以实现对象内容的不变。
Scala的类库中提供了两种集合类型:一种是不可变的。在scala.collection.immutable包中,这是默认的,也就是说如果上面的代码没有显式导入可变的Map类那么创建的Map就是不可变的。第二中是可变的集合类型,在scala.collection.mutable。他们的特质,英文trait(类似于Java中的接口)在scala.collection中。
Ruby中的不变:Ruby并没有提供引用层次的不可变,但是Ruby的freeze方法就是把对象冻结,这样任何改变都会抛出异常,我本人觉得这种方法较灵活但是也容易引起不必要的麻烦,因为我不知道这个对象为什么突然就不能改变了,追踪起来也比较麻烦。例如,
Array = [“ssj”,20,”ssh”,12]
Array<<”ssjssh”
Array.freeze =
Array<<”sshssj”//RuntimeError:can’t modify frozen Array