函数式编程(高阶函数)一般是用于写帮助库;插件直接面向对象
1.point free 概念:无值操作
2.应用:取得系统api转纯,也就是无值操作,方便组合
Io是处理不纯
Monad是处理不存
范畴论函数式编程和是范畴论的数学分支,所有概念体系都可以抽象出一个个范畴;彼此之间存在某种关系概念、事物、对象等,都构成范畴。箭头表示范畴成员之间的关系,正式名称“态射”。同一个范畴的所有成员就是不同状态的“变形”。通过“态射”,一个成员可以变形到另一个成员。
所有成员是一个集合;变形关系是函数
将复杂的函数符 合成简单函数(计算理论、递归论或者拉姆达验算)。运算过程尽量写成一系列嵌套的函数调用(抽象)
1)函数可以赋值给其它变量、也可以作为参数,传入另一个函数,或者作为别的函数返回值;
2)不可改变量;在函数式编程中仅仅代表某个表达式。这里所说的“变量”是不能被修改的。所有的变量只能被赋初始值;
3)map&reduce 是常用的函数式编程的方法;
map
var numbers = [4, 9, 16, 25];
function myFunction() {
x = document.getElementById("demo")
x.innerHTML = numbers.map(Math.sqrt);
}
输出结果:2,3,4,5
map() 方法返回一个新数组,数组中的元素为原始数组元素调用函数处理后的值。
map() 方法按照原始数组元素顺序依次处理元素。
注意: map() 不会对空数组进行检测。
注意: map() 不会改变原始数组。
reduce
var numbers = [65, 44, 12, 4];
function getSum(total, num) {
return total + num;
}
function myFunction(item) {
document.getElementById("demo").innerHTML = numbers.reduce(getSum);
}
输出结果:125
reduce() 方法接收一个函数作为累加器,数组中的每个值(从左到右)开始缩减,最终计算为一个值。
reduce() 可以作为一个高阶函数,用于函数的 compose。
注意: reduce() 对于空数组是不会执行回调函数的。
总结:
1)函数是“第一等公民”;
2)只用“表达式”,不用“语句”;全部是常量
3)没有“副作用”;不能进行修改,导致函数不纯
4)不修改状态;
5)引用透明(函数运作只靠参数);在于运算什么,不在于怎么运算
纯函数是指不依赖于且不改变它作用域之外的变量状态的函数;纯函数的返回值只由它调用时的参数决定
Array.slice是纯函数,因为它没有副作用,对于固定的输入,输出总是固定的;不会对原始数据进行改变;
splice将改变原始数据,因此它不是纯函数;
优点:降低系统复杂度,有很多特性,比如可缓存性;
缺点:在不纯的版本中,checkage不仅取决于age还有外部依赖的变量min。 纯的checkage吧关键数字18硬编码在函数内部,扩展性比较差,科利华优化的函数式解决。(有外部的变量 可以影响到函数内部的值输出)
函数的柯里化
传递给函数一部分参数来调用它,让它返回一个函数去处理剩下的函数;(方法套方法 )
柯里化之前
function add(x,y){
return x+y;
}
add(1,2) //3
柯里化之后
function addX(y){
return function(x){
return x+y
}
}
addX(2)(1) //3
事实上柯里化是一种“预加载”函数的方法,通过传递较少的参数,得到一个一键记住了这些参数的新函数,某种意义上讲,这是一种对参数的“缓存”,是一种非常搞笑的编写函数方法:
函数组合
纯函数以及如何把它柯里化写出的洋葱代码 h(g(f(x))),为了解决函数嵌套的问题,可以使用“函数组合”。让多个函数像拼积木一样;
帮助柯里化,美化工作;业务逻辑变清晰。
const compose = (f,g) => (x => f(g(x)));
var first = arr => arr[0];
var reverse = arr => arr[0];
var last = compose(first,reverse);
last([1,2,3,4,5]);
Pointfree编程风格
把一些对象自带的方法转化成纯函数,不要命名转瞬即逝的中间变量。Pointfree 的本质就是使用一些通用的函数,组合出各种复杂运算。上层运算不要直接操作数据,而是通过底层函数去处理。这就要求,将一些常用的操作封装成函数。
str作为中间变量,它除了将代码变得长一点以外毫无意义。
const f = str => str.toUpperCase().split('');
优化后:这种编写代码风格能减少不必要的莫名,让代码保持简洁喝通用
var toUpperCase = word => word.toUpperCase();
var split = x => (str => str.split(x));
var f = compose(split(''), toUpperCase);
f("abcd efgh");
生命式与命令式代码