什么是函数式编程?

 

纯函数:

定义: 对于相同的输入永远会得到相同的输出,而且没有任何可以观察的副作用,也不依赖外部的环境状态。

例如数学公式: y=f(x)

在javascript中,对于数组的操作,有的是纯的,有的是不存的,如:

let arr = [1,2,3,4,5];

// 纯函数
arr.slice(0,3); // [1,2,3]
arr.slice(0,3); // [1,2,3]

// 非纯函数
arr.splice(0,3); // [1,2,3]
arr.splice(0,3); // [4,5]

编程式函数为何排斥不纯的函数?

非纯函数中,函数的行为需要由外部的系统环境影响。也就是说函数不仅仅由输入的参数决定,还可能因为外部的某些变量影响。

这种对于外部状态的依赖,是造成系统复杂性大大提高的关键。

举个例子:

let timeOfLife = 20;

// 纯函数
function test(age) {
   return age > 20;
}

// 非纯函数
function test2(age) {
  return age > timeOfLife;  
}

这个例子中非纯函数就依赖于外部的变量timeOfLife

函数柯里化

定义: 向函数传递一个参数去调用他,返回一个方法去处理剩下的参数。

柯里化的实质是“预加载”函数的方法,向方法传递较少的参数,得到一个已经记住这些参数的新函数,某种意义上讲,这是一种对参数的”缓存“,是一种非常高效的编写函数的方法。

举个例子:

let timeOfLife = 20;

function test(timeOfLife) {
   return function(age) {
     return age > timeOfLife   
  }  
} 
let testing = test(20);  
testing(19);  // false

函数组合

未避免写出不优雅的包菜式函数: h(g(f(x))) , 我们需要用到函数组合。

function compose(f, g) {
  return function (x) {
    return  g(f(x));            
  }
}
 
let mult = function (num) {
  return num * 5;
}

let add = function (num) {
  return add + 1;
}

compose(mult, add)(2);  // 15

我们定义的compose就像双面胶一样,可以把任意两个函数结合在一起,也可以扩展出n个函数的n个胶面。

这种灵活的组合方式,我们可以向拼积木一样优雅的组合函数式代码。

声明式与命令式

命令式代码: 通过一条有一条指令,让计算机执行一系列动作,其中一般会涉及很多繁琐的细节。

声明式代码: 通过写表达式的方式,声明我们想要干什么,而不是一步一步的指示。

// 命令式
let rest = [];
let arr = [1,2,3,4,5];
for(var i = 1; i< arr.length; i++) {
  if(rest.indexOf(arr[i]) === -1) {
      rest.push(arr[i]);
  }  
}
    

// 声明式
var test = arr.map(Math.sqrt)

声明式代码是函数式编程一个明显的好处: 编写、优化代码时能更加专注。

总结

1. 函数对于外部的依赖,是造成系统复杂性大大提高的原因

2. 代码中书写纯函数尽可能纯净

3. 函数式编程不是万能的,他与OOP一样,只是一种编程范式

4. 为降低软件的复杂度,OOP是靠良好的封装,继承,多态以及接口的定义。 函数式编程则是靠纯函数以及他们的组合、柯里化技术

...

相关推荐