函数式编程 笔记

什么是函数式编程

函数式编程(Functional Programming, FP)，FP 是编程范式之一，我们常听说的编程范式还有面向过程

• 编程、面向对象编程。
  面向对象编程的思维方式：把现实世界中的事物抽象成程序世界中的类和对象，通过封装、继承和
  多态来演示事物事件的联系
• 函数式编程的思维方式：把现实世界的事物和事物之间的联系抽象到程序世界（对运算过程进行抽
  象）
  • 程序的本质：根据输入通过某种运算获得相应的输出，程序开发过程中会涉及很多有输入和
    输出的函数
  • x -> f(联系、映射) -> y，y=f(x)
  • 函数式编程中的函数指的不是程序中的函数(方法)，而是数学中的函数即映射关系，例如：y = sin(x)，x和y的关系
  • 相同的输入始终要得到相同的输出(纯函数)
  • 函数式编程用来描述数据(函数)之间的映射

// 非函数式 面向过程编程
let num1 = 2 
let num2 = 3 
let sum = num1 + num2 
console.log(sum) 

// 函数式 
function add (n1, n2) { 
	return n1 + n2 
}
let sum = add(2, 3) 
console.log(sum)

头等函数

MDN First-class Function

当一门编程语言的函数可以被当作变量一样用时，则称这门语言拥有头等函数。例如，在这门语言中，函数可以被当作参数传递给其他函数，可以作为另一个函数的返回值，还可以被赋值给一个变量。

• 把函数赋值给变量

// 把函数赋值给变量 
let fn = function () { 
	console.log('Hello First-class Function') 
}
fn() 

// 一个示例 
const BlogController = { 
	index (posts) { return Views.index(posts) }, 
	show (post) { return Views.show(post) }, 
	create (attrs) { return Db.create(attrs) }, 
	update (post, attrs) { return Db.update(post, attrs) }, 
	destroy (post) { return Db.destroy(post) } 
}

// 优化 
const BlogController = { 
	index: Views.index, 
	show: Views.show, 
	create: Db.create, 
	update: Db.update, 
	destroy: Db.destroy
}

在示例中 index() 函数调用了 Views.index(posts) 函数并把他的结果返回，注意到 index() 函数 与 Views.index(posts) 有相同的形式，他们的参数和返回值是一样的，当一个函数包裹另一个函数，并且形式相同时，就可以认为是一样的函数将其精简，例如将 Views.index(posts) 赋值给 index （把函数本身赋值给函数）

---

高阶函数

高阶函数 案例链接

什么是高阶函数

• 高阶函数 (Higher-order function)
  • 可以把函数作为参数传递给另一个函数
  • 可以把函数作为另一个函数的返回结果
• 函数作为参数
  • 示例
• 函数作为返回值
  • 示例

使用高阶函数的意义

• 抽象可以帮我们屏蔽细节，只需要关注与我们的目标
• 高阶函数是用来抽象通用的问题
• 使代码写起来更加简洁

常用高阶函数

• forEach
• map
• filter
• every
• some
• find/findIndex
• reduce
• sort
  ……

闭包

• 闭包 (Closure)：函数和其周围的状态(词法环境)的引用捆绑在一起形成闭包。
  • 可以在另一个作用域（例如函数C）中调用一个函数（函数A）的内部函数（函数B）并访问到该函数（函数A）的作用域中的成员
• 闭包的本质：函数在执行的时候会放到一个执行栈上当函数执行完毕之后会从执行栈上移除，但是
  堆上的作用域成员因为被外部引用不能释放，因此内部函数依然可以访问外部函数的成员

---

纯函数

纯函数 案例链接

纯函数概念

• 纯函数：相同的输入永远会得到相同的输出，而且没有任何可观察的副作用

  • 纯函数就类似数学中的函数(用来描述输入和输出之间的关系)，y = f(x)

• lodash 是一个纯函数的功能库，提供了对数组、数字、对象、字符串、函数等操作的一些方法

• 数组的 slice 和 splice 分别是：纯函数和不纯的函数

  • slice 返回数组中的指定部分，不会改变原数组
  • splice 对数组进行操作返回该数组，会改变原数组

• 数式编程不会保留计算中间的结果，所以变量是不可变的（无状态的）

• 我们可以把一个函数的执行结果交给另一个函数去处理

纯函数的好处

• 可缓存
  • 因为纯函数对相同的输入始终有相同的结果，所以可以把纯函数的结果缓存起来
• 可测试
  • 纯函数让测试更方便
• 并行处理
  • 在多线程环境下并行操作共享的内存数据很可能会出现意外情况
  • 纯函数不需要访问共享的内存数据，所以在并行环境下可以任意运行纯函数 (Web Worker)

副作用

• 纯函数：对于相同的输入永远会得到相同的输出，而且没有任何可观察的副作用
  副作用让一个函数变的不纯(如上例)，纯函数的根据相同的输入返回相同的输出，如果函数依赖于外部的状态就无法保证输出相同，就会带来副作用。

副作用来源：

• 配置文件
• 数据库
• 获取用户的输入
  ……

所有的外部交互都有可能带来副作用，副作用也使得方法通用性下降不适合扩展和可重用性，同时副作用会给程序中带来安全隐患给程序带来不确定性，但是副作用不可能完全禁止，尽可能控制它们在可控范围内发生。

---

柯里化 (Haskell Brooks Curry)

柯里化 案例链接

• 使用柯里化解决硬编码的问题

• 柯里化 (Currying)：

  • 当一个函数有多个参数的时候先传递一部分参数调用它（这部分参数以后永远不变）
  • 然后返回一个新的函数接收剩余的参数，返回结果

lodash 中的柯里化函数

• _.curry(func)
  • 功能：创建一个函数，该函数接收一个或多个 func 的参数，如果 func 所需要的参数都被提供则执行 func 并返回执行的结果。否则继续返回该函数并等待接收剩余的参数。
  • 参数：需要柯里化的函数
  • 返回值：柯里化后的函数

柯里化特点总结

• 柯里化可以让我们给一个函数传递较少的参数得到一个已经记住了某些固定参数的新函数
• 这是一种对函数参数的’缓存’
• 让函数变的更灵活，让函数的粒度更小
• 可以把多元函数转换成一元函数，可以组合使用函数产生强大的功能

纯函数和柯里化很容易写出洋葱代码 h(g(f(x)))

函数组合可以让我们把细粒度的函数重新组合生成一个新的函数

---

函数组合

函数组合 案例链接

• 函数组合 (compose)：如果一个函数要经过多个函数处理才能得到最终值，这个时候可以把中间过程的函数合并成一个函数
  • 函数就像是数据的管道，函数组合就是把这些管道连接起来，让数据穿过多个管道形成最终结果
  • 函数组合默认是从右到左执行
    
    

fn = compose(f1, f2, f3)
b = fn(a)

lodash 中的组合函数

• lodash 中组合函数 flow() 或者 flowRight()，他们都可以组合多个函数

• flow() 是从左到右运行

• flowRight() 是从右到左运行，使用的更多一些

• 函数的组合要满足结合律 (associativity)：

  • 我们既可以把 g 和 h 组合，还可以把 f 和 g 组合，结果都是一样的

调试

• 如何调试组合函数

  • 创建一个查看用的调试函数

  • 在需要查看结果的函数后面加上创建的调试函数

// 创建一个查看用的调试函数
const trace = _.curry((tag, v) => {
console.log(tag, v)
return v
})

// 在需要查看结果的函数后面加上创建的调试函数
const f = _.flowRight(join('-'), trace('map 之后'), map(_.toLower),
trace('split 之后'), split(' '))

• lodash/fp

  • lodash 的 fp 模块提供了实用的对函数式编程友好的方法

  • 提供了不可变 auto-curried iteratee-first data-last 的方法

Point Free

Point Free： 我们可以把数据处理的过程定义成与数据无关的合成运算，不需要用到代表数据的那个参
数，只要把简单的运算步骤合成到一起，在使用这种模式之前我们需要定义一些辅助的基本运算函数。

• 不需要指明处理的数据

• 只需要合成运算过程

• 需要定义一些辅助的基本运算函数

---

lodash中文网：http://lodash.net/
lodash中文文档：https://www.lodashjs.com/