编程范式学习总结-函数式编程

函数式编程

对于函数式编程来说，它只关心定义输入数据和输出数据相关的关系，数学表达式里面其实是在做一种映射（mapping），输入的数据和输出的数据关系是什么样的，是用函数来定义的。

特征

• stateless：函数不维护任何状态。函数式编程的核心精神是 stateless。
• immutable：输入数据是不能动的，动了输入数据就有危险，所以要返回新的数据集。

优势

• 没有状态就没有伤害。
• 并行执行无伤害。
• Copy-Paste 重构代码无伤害。
• 函数的执行没有顺序上的问题。
• 惰性求值。这需要编译器的支持，表达式不在它被绑定到变量之后就立即求值，而是在该值被取用的时候求值。
• 确定性。所谓确定性，就是像在数学中那样，f(x) = y 这个函数无论在什么场景下，都会得到同样的结果。

劣势

数据复制比较严重。

函数式编程用到的技术：

• first class function（头等函数） ：函数就像变量一样来使用。

• tail recursion optimization（尾递归优化） ： 递归容易导致栈溢出，而且如果递归很深，会导致性能大幅度下降。可以使用尾递归—每次递归时都会重用 stack。这需要语言或编译器的支持，Python 不支持。

• map & reduce ：函数式编程最常见的技术就是对一个集合做 Map 和 Reduce 操作。比起过程式的语言，代码上要更容易阅读。

• pipeline（管道）：将函数实例成一个一个的 action，然后将一组 action 放到一个数组或是列表中，再把数据传给这个 action list，数据就像一个 pipeline 一样顺序地被各个函数所操作，最终得到我们想要的结果。

• recursing（递归） ：递归最大的好处就简化代码，它可以把一个复杂的问题用很简单的代码描述出来。递归的精髓是描述问题，而这正是函数式编程的精髓。

• currying（柯里化） ：将一个函数的多个参数分解成多个函数， 然后将函数多层封装起来，每层函数都返回一个函数去接收下一个参数，这可以简化函数的多个参数。

• higher order function（高阶函数）：就是函数当参数，把传入的函数做一个封装，然后返回这个封装函数。

函数式编程的思维方式

函数式编程关注的是：describe what to do, rather than how to do it。过程式编程范式叫做 Imperative Programming – 指令式编程，函数式编程范式叫做 Declarative Programming – 声明式编程。

修饰器模式：

表面上看，修饰器模式就是扩展现有的一个函数的功能，让它可以干一些其他的事，或是在现有的函数功能上再附加上一些别的功能。
除了我们可以感受到函数式编程下的代码扩展能力，我们还能感受到函数的互相和随意拼装带来的好处。
但是深入看一下，我们不难发现，Decorator 这个函数其实是可以修饰几乎所有的函数的。于是，这种可以通用于其它函数的编程方式，可以很容易地将一些非业务功能的、属于控制类型的代码给抽象出来（所谓的控制类型的代码就是像 for-loop，或是打日志，或是函数路由，或是求函数运行时间之类的非业务功能性的代码）。