js中的函数编程

之前在网上看到了一篇教你如何用js写出装逼的代码。

经过学些以及扩展很有收获在这里记录一下。

原文章找不到了。所以就不在这附上链接了。

大家看下下面两段js代码。

上面两端代码效果是一模一样的，都是在一个指定的数组中，找到指定的数字所在的下标。第一个大多数人都看得懂。第二个就不一定了。

这里就带大家从一步步最初的版本演化到最终的函数式的版本。

希望大家以后再遇到如此难以阅读的代码，知道怎么去理解。

为了从上面上面变到下面，我们需要了解以下知识。

箭头函数

三元运算符(不讲)

尾递归优化

匿名函数(不讲)

柯里化

高阶函数

其中，尾递归优化，和柯里化，高阶函数，都是函数式编程里面的东西。所以有必要先简单介绍一下什么是函数式编程。

这里先引用下知乎的图。

上面的图并不是说，最下面的最高级，而是越靠下面的越费脑子。

什么是函数式编程？

事实上函数式编程是从范畴论(category theory)发展过来的。而范畴论其实和微积分，数理逻辑，等等都是一种数学理论。而函数式编程只是参考这种思想发展过来的，就像设计模式最初是来源于建筑学一样。

为了更好的理解函数式编程，这里也再简单的介绍下范畴论。高深的我也不懂。。。

在维基百科里面是这么定义的

也就是说只要是存在某种关系，可以从一个对象转化为另外一个对象，那么对象和它们之间的关系就构成一个范畴。

下面的图是一个示意图。

红色的点和黄色的箭头在一起就构成一个范畴。

箭头arrow，还有一个正式的名字叫做态射（morphism）。范畴论认为，同一个范畴的所有成员，就是不同状态的"变形"（transformation）。通过"态射"，一个成员可以变形成另一个成员。

上面的很抽象，我们举例子说明下。

大家都对面向对象的思想比较了解，在面向对象的思想里，万事万物都是对象，而对象又可以抽象成为类。比如，黄种人，白种人，黑人。都是对象，可以抽象为人这个类。这是他们有共性。但是他们之间并不存在转化关系，黑人不可能转化为白种人，就算他整容整的很白，概念上他还是个黑人。

而数字1,2,3,4,5。。。他们之间存在一定的关系，1+1可以变成2,2+1可变成3,2+2又可以变成4。我们可以认为，数字和它们之间的态射就是一个范畴。每一个数字，通过一个态势可以变为另外一个数字。

所以范畴包含两部分

成员
关系

而过度到程序里面就是

值
函数

简单的来说就是，一个值可以通过一个函数变为另外一个值。所以函数式编程要求每一个函数必须是干净的，进入一个值，出去另外一个值。不会操作任何方法外的数据。

函数式编程有两个最基本的运算。

合成

合成的概念就是如果一个值需要经过多个函数才能变成另外一个值，就可以把两个函数合成一个函数。比如1，需要经过add1和add2才能变成4，那么就可以合成一个add3出来。

假设add1=f,add2=g

上面看起来函数有点多，那我们把add1和add2都给匿名了，看起来会好一点

函数的合成还要满足结合律

假设f,g,h分别是add1，add2，add3.

那么(h·g).f 就是 add3(add1(add2)) 而h·(g·f) 就是add1(add2(add3))

他们两者应该是相等的。

2.柯里化

f(x)和g(x)合成为f(g(x))，有一个隐藏的前提，就是f和g都只能接受一个参数。如果可以接受多个参数，比如f(x, y)和g(a, b, c)，函数合成就非常麻烦。

这时就需要函数柯里化了。所谓"柯里化"，就是把一个多参数的函数，转化为单参数函数。

这里解释一下，柯里化之后是采用的js里面的链式调用。AddX(2)其实返回的是function(x)

{return x+2;} 这时候再跟一个(1)，就是把1传入里面执行了。

当然函数式编程还有很多别的东西，这里就不一一介绍了，有兴趣的的可以自己查下。

下面说下, 尾递归优化

我们知道递归的害处，那就是如果递归很深的话，stack受不了，并会导致性能大幅度下降。所以，我们使用尾递归优化技术——每次递归时都会重用stack，这样一来能够提升性能，当然，这需要语言或编译器的支持。Java 就不支持，但是javascript支持。而所谓的支持，就是说编译器会自动优化，对于尾递归的代码会自动优化成。

普通递归。