纯函数:
定义: 对于相同的输入永远会得到相同的输出,而且没有任何可以观察的副作用,也不依赖外部的环境状态。
例如数学公式: 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是靠良好的封装,继承,多态以及接口的定义。 函数式编程则是靠纯函数以及他们的组合、柯里化技术
...
文章来源: 博客园
- 还没有人评论,欢迎说说您的想法!