目录
函数式编程
1. 编程思想
- 在数学中，函数就是有输入量、输出量的一套计算方案，也就是“拿什么东西做什么事情”；
- 面向对象过分强调“必须通过对象的形式来做事情”，相对而言，函数式思想则尽量忽略面向对象的复杂语法，即强调做什么，而不是以什么形式做，或是怎么做；
- 实际操作中，我们真的希望创建一个匿名内部类对象吗？不。我们只是为了做这件事情而不得不创建一个对象。我们真正希望做的事情是：将 run 方法体内的代码传递给 Thread 类知晓。“传递一段代码”才是我们真正的目的。而创建对象只是受限于面向对象语法而不得不采取的一种手段方式。
- 那，有没有更加简单的办法？如果我们将关注点从“怎么做”回归到“做什么”的本质上，就会发现只要能够更好地达到目的，过程与形式其实并不重要；
2. 定义
- 函数式编程（Functional Programming，简称 FP）是种编程方式，它将电脑运算视为函数的计算；
- 函数式编程是一种"编程范式"（programming paradigm），也就是如何编写程序的方法论；
- 函数式编程属于"结构化编程"的一种，主要思想是把运算过程尽量写成一系列嵌套的函数调用；
- 和指令式编程相比，函数式编程强调函数的计算比指令的执行重要；
- 和过程化编程相比，函数式编程里函数的计算可随时调用；
- 函数编程语言最重要的基础是 λ 演算（lambda calculus），而且λ演算的函数可以接受函数当作输入（参数）和输出（返回值）；
3. 特性
a. 闭包和高阶函数
- 函数编程支持函数作为第一类对象，有时称为闭包或者仿函数（functor）对象。实质上，闭包是起函数的作用并可以像对象一样操作的对象。与此类似，FP 语言支持高阶函数。高阶函数可以用另一个函数（间接地，用一个表达式） 作为其输入参数，在某些情况下，它甚至返回一个函数作为其输出参数。这两种结构结合在一起使得可以用优雅的方式进行模块化编程，这是使用 FP 的最大好处；
b. 惰性计算
- 除了高阶函数和仿函数（或闭包）的概念，FP 还引入了惰性计算的概念。在惰性计算中，表达式不是在绑定到变量时立即计算，而是在求值程序需要产生表达式的值时进行计算。延迟的计算使您可以编写可能潜在地生成无穷输出的函数。因为不会计算多于程序的其余部分所需要的值，所以不需要担心由无穷计算所导致的 out-of-memory 错误。一个惰性计算的例子是生成无穷 Fibonacci 列表的函数，但是对第n个 Fibonacci 数的计算相当于只是从可能的无穷列表中提取一项；
c. 递归
- FP 还有一个特点是用递归做为控制流程的机制。例如，Lisp 处理的列表定义为在头元素后面有子列表，这种表示法使得它自己自然地对更小的子列表不断递归；
4. 特点
a. 函数是"第一等公民"
- 所谓"第一等公民"（first class），指的是函数与其他数据类型一样，处于平等地位，可以赋值给其他变量，也可以作为参数，传入另一个函数，或者作为别的函数的返回值；
- 举例来说，下面代码中的print变量就是一个函数，可以作为另一个函数的参数：
var print = function(i){ console.log(i);};
[1,2,3].forEach(print);
b. 只用"表达式"，不用"语句"
- “表达式”（expression）是一个单纯的运算过程，总是有返回值；“语句”（statement）是执行某种操作，没有返回值。函数式编程要求，只使用表达式，不使用语句。也就是说，每一步都是单纯的运算，而且都有返回值；
- 原因是函数式编程的开发动机，一开始就是为了处理运算（computation），不考虑系统的读写（I/O）。"语句"属于对系统的读写操作，所以就被排斥在外；
- 当然，实际应用中，不做 I/O 是不可能的。因此，编程过程中，函数式编程只要求把 I/O 限制到最小，不要有不必要的读写行为，保持计算过程的单纯性；
c. 没有"副作用"
- 所谓"副作用"（side effect），指的是函数内部与外部互动（最典型的情况，就是修改全局变量的值），产生运算以外的其他结果；
- 函数式编程强调没有"副作用"，意味着函数要保持独立，所有功能就是返回一个新的值，没有其他行为，尤其是不得修改外部变量的值；
d. 不修改状态
- 上一点已经提到，函数式编程只是返回新的值，不修改系统变量。因此，不修改变量，也是它的一个重要特点；
- 在其他类型的语言中，变量往往用来保存"状态"（state）。不修改变量，意味着状态不能保存在变量中。函数式编程使用参数保存状态，最好的例子就是递归。下面的代码是一个将字符串逆序排列的函数，它演示了不同的参数如何决定了运算所处的"状态"；
e. 引用透明性
- 函数程序通常还加强引用透明性，即如果提供同样的输入，那么函数总是返回同样的结果。就是说，表达式的值不依赖于可以改变值的全局状态。这使您可以从形式上推断程序行为，因为表达式的意义只取决于其子表达式而不是计算顺序或者其他表达式的副作用。这有助于验证正确性、简化算法，甚至有助于找出优化它的方法；
f. 副作用
- 副作用是修改系统状态的语言结构。因为 FP 语言不包含任何赋值语句，变量值一旦被指派就永远不会改变。而且，调用函数只会计算出结果 ── 不会出现其他效果。因此，FP 语言没有副作用；
5. 优点
- 代码简洁，开发快速；
- 接近自然语言，易于理解；
- 更方便的代码管理；
- 易于"并发编程"；
- 代码的热升级；
6. 缺点
数式编程常被认为严重耗费在 CPU 和存储器资源：
- 早期的函数式编程语言实现时并无考虑过效率问题；
- 有些非函数式编程语言为求提升速度，不提供自动边界检查或自动垃圾回收等功能；
- 惰性求值亦为语言如Haskell增加了额外的管理工作；
