课程介绍
为什么要学习函数编程以及什么是函数式编程
函数式编程的特性(纯函数、柯里化、函数组合等)
函数式编程的应用场景
函数式编程库Lodash
为什么要学习函数式编程
函数式编程是非常古老的一个概念,早于第一台计算机的诞生,函数式编程的历史。 那我们为什么现在还要学函数式编程?
函数式编程是随着React 的流行受到越来越多的关注
Vue 3也开始拥抱函数式编程函数式编程可以抛弃this
打包过程中可以更好的利用tree shaking 过滤无用代码
方便测试、方便并行处理
有很多库可以帮助我们进行函数式开发:lodash、underscore、ramda
什么是函数式编程
函数式编程(Functional Programming, FP),FP 是编程范式之一,我们常听说的编程范式还有面向过程编程、面向对象编程。
- 面向对象编程的思维方式:把现实世界中的事物抽象成程序世界中的类和对象,通过封装、继承和 多态来演示事物事件的联系
- 函数式编程的思维方式:把现实世界的事物和事物之间的联系抽象到程序世界(对运算过程进行抽 象)
- 程序的本质:根据输入通过某种运算获得相应的输出,程序开发过程中会涉及很多有输入和 输出的函数
- x -> f(联系、映射) -> y,y=f(x)
- 函数式编程中的函数指的不是程序中的函数(方法),而是数学中的函数即映射关系,例如:y
= sin(x),x和y的关系
- 相同的输入始终要得到相同的输出(纯函数)
- 函数式编程用来描述数据(函数)之间的映射 ```javascript // 非函数式 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)
<a name="gynej"></a>
# 前置知识
1. 函数是一等公民高阶函数
2. 高阶函数
3. 闭包
<a name="3Xolu"></a>
## 函数是一等公民
[MDN First-class Function](https://developer.mozilla.org/zh-CN/docs/Glossary/First-class_Function)
- 函数可以存储在变量中
- 函数作为参数
- 函数作为返回值
在JavaScript 中**函数就是一个普通的对象 **(可以通过 new Function() ),我们可以把函数存储到变量/<br />数组中,它还可以作为另一个函数的参数和返回值,甚至我们可以在程序运行的时候通过 new <br />Function('alert(1)')来构造一个新的函数。
- 把函数赋值给变量
```javascript
// 把函数赋值给变量
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
}
函数是一等公民是我们后面要学习的高阶函数、柯里化等的基础。
高阶函数
什么是高阶函数(map、forEach、filter 等等)
- 高阶函数(Higher-order function)
- 可以把函数作为参数传递给另一个函数
- 可以把函数作为另一个函数的返回结果
- 函数作为参数
// filter
function filter (array, fn) {
let results = []
for (let i = 0; i < array.length; i++) {
if (fn(array[i])) {
results.push(array[i])
}
}
return results
}
// forEach
function forEach (array, fn) {
for (let i = 0; i < array.length; i++) {
fn(array[i])
}
}
- 函数作为返回值
function makeFn () {
let msg = 'Hello function'
return function () {
console.log(msg)
}
}
const fn = makeFn()
fn() // Hello function
makeFn()() // Hello function
// once
function once (fn) {
let done = false
return function () {
if (!done) {
done = true
return fn.apply(this, arguments)
}
}
}
let pay = once(function (money) {
console.log(`支付:${money} RMB`)
})
// 只会支付一次
pay(5)
pay(5)
pay(5)
使用高阶函数的意义
- 抽象可以帮我们屏蔽细节,只需要关注与我们的目标
- 高阶函数是用来抽象通用的问题
// 面向过程的方式
let array = [1, 2, 3, 4]
for (let i = 0; i < array.length; i++) {
console.log(array[i])
}
// 高阶高阶函数
let array = [1, 2, 3, 4]
forEach(array, item => {
console.log(item)
})
let r = filter(array, item => {
return item % 2 === 0
})
常用高阶函数
- forEach
- map
- filter
- every
- some
- find/findIndex
- reduce
- sort
……
const map = (array, fn) => {
let results = []
for (const value of array) {
results.push(fn(value))
}
return results
}
const every = (array, fn) => {
let result = true
for (const value of array) {
result = fn(value)
if (!result) {
break
}
}
return result
}
const some = (array, fn) => {
let result = false
for (const value of array) {
result = fn(value)
if (result) {
break
}
}
return result
}
闭包
- 闭包(Closure):函数和其周围的状态(词法环境)的引用捆绑在一起形成闭包。
- 可以在另一个作用域中调用一个函数的内部函数并访问到该函数的作用域中的成员
理解: 通常变量的访问只能是由内向外访问变量,即函数内部可以访问导函数外部的变量,函数外部不能访问函数内部的变量,但是我们可以通过函数内部嵌套一个函数的方式延长外部函数内的变量的作用域范围,即我们可以通过调用内部函数在访问到外部函数的变量,如下面例子中,可以通过调用makeFn的内部函数访问到变量msg。 因为msg没有被释放,这也就导致造成内存泄漏
// 函数作为返回值
function makeFn () {
let msg = 'Hello function'
return function () {
console.log(msg)
}
}
const fn = makeFn()
fn()
// once
function once (fn) {
let done = false
return function () {
if (!done) {
done = true
return fn.apply(this, arguments)
}
}
}
let pay = once(function (money) {
console.log(`支付:${money} RMB`)
})
// 只会支付一次
pay(5)
pay(5)
闭包的本质:函数在执行的时候会放到一个执行栈上当函数执行完毕之后会从执行栈上移除,但是 堆上的作用域成员因为被外部引用不能释放,因此内部函数依然可以访问外部函数的成员
闭包案例
// 生成计算数字的多少次幂的函数
function makePower (power) {
return function (x) {
return Math.pow(x, power)
}
}
let power2 = makePower(2)
let power3 = makePower(3)
console.log(power2(4))
console.log(power3(4))
----------------------------------
makeSalary(15000, 2000)
makeSalary(25000, 3000)
==>
利用闭包不用频繁的输入基本工资 改写:
// 第一个数是基本工资,第二个数是绩效工资
function makeSalary (base) {
return function (perforce) {
return base + perforce
}
}
let salaryLevel1 = makeSalary(15000)
let salaryLevel2 = makeSalary(25000)
console.log(salaryLevel1(2000))
console.log(salaryLevel2(3000))
纯函数
纯函数概念
纯函数:相同的输入永远会得到相同的输出,而且没有任何可观察的副作用
纯函数就类似数学中的函数(用来描述输入和输出之间的关系),y = f(x)
- lodash 是一个纯函数的功能库,提供了对数组、数字、对象、字符串、函数等操作的一些方法
- 数组的 slice 和 splice 分别是:纯函数和不纯的函数
- slice 返回数组中的指定部分,不会改变原数组
- splice对数组进行操作返回该数组,会改变原数组 ```javascript let numbers = [1, 2, 3, 4, 5] // 纯函数 numbers.slice(0, 3) // => [1, 2, 3] numbers.slice(0, 3) // => [1, 2, 3] numbers.slice(0, 3) // => [1, 2, 3]
// 不纯的函数 numbers.splice(0, 3) // => [1, 2, 3] numbers.splice(0, 3) // => [4, 5] numbers.splice(0, 3) // => []
- 函数式编程不会保留计算中间的结果,所以变量是不可变的(无状态的)
- 我们可以把一个函数的执行结果交给另一个函数去处理
<a name="Not0t"></a>
## 纯函数的好处
- 可缓存
- 因为纯函数对相同的输入始终有相同的结果,所以可以把纯函数的结果缓存起来
```javascript
const _ = require('lodash')
function getArea (r) {
return Math.PI * r * r
}
let getAreaWithMemory = _.memoize(getArea)
console.log(getAreaWithMemory(4))
自己模拟一个memoize 函数
function memoize (f) {
let cache = {}
return function () {
let arg_str = JSON.stringify(arguments)
cache[arg_str] = cache[arg_str] || f.apply(f, arguments)
// 改成下面的效果一样的
// cache[arg_str] = cache[arg_str] || f.apply(this, arguments)
// cache[arg_str] = cache[arg_str] || f.call(this, ...arguments)
return cache[arg_str]
}
}
- 可测试
- 纯函数让测试更方便
并行处理
纯函数:对于相同的输入永远会得到相同的输出,而且没有任何可观察的副作用
// 不纯的
let mini = 18
function checkAge (age) {
return age >= mini
}
// 纯的(有硬编码,后续可以通过柯里化解决)
function checkAge (age) {
let mini = 18
return age >= mini
}
副作用让一个函数变的不纯(如上例),纯函数的根据相同的输入返回相同的输出,如果函数依赖于外部 的状态就无法保证输出相同,就会带来副作用。
副作用来源:
- 配置文件
- 数据库
- 获取用户的输入
- ……
所有的外部交互都有可能带来副作用,副作用也使得方法通用性下降不适合扩展和可重用性,同时副作 用会给程序中带来安全隐患给程序带来不确定性,但是副作用不可能完全禁止,尽可能控制它们在可控 范围内发生。
柯里化 (Haskell Brooks Curry)
- 使用柯里化解决上一个案例中硬编码的问题 ```javascript function checkAge (age) { let min = 18 return age >= min } // 普通纯函数 function checkAge (min, age) { return age >= min } checkAge(18, 24) checkAge(18, 20) checkAge(20, 30)
// 柯里化 function checkAge (min) { return function (age) { return age >= min } } // ES6 写法 let checkAge = min => (age => age >= min)
let checkAge18 = checkAge(18) let checkAge20 = checkAge(20)
checkAge18(24) checkAge18(20)
<a name="PUErs"></a>
#### 柯里化(Currying):
- 当一个函数有多个参数的时候先传递一部分参数调用它(这部分参数以后永远不变)
- 然后返回一个新的函数接收剩余的参数,返回结果
(柯里化利用了闭包、高阶函数的原理,函数柯里化就是帮你创建闭包。)
**lodash 中的柯里化函数**
- _.curry(func)
- 功能:创建一个函数,该函数接收一个或多个func 的参数,如果func 所需要的参数都被提供则执行func 并返回执行的结果。否则继续返回该函数并等待接收剩余的参数。
- 参数:需要柯里化的函数
- 返回值:柯里化后的函数
```javascript
const _ = require('lodash')
// 要柯里化的函数
function getSum (a, b, c) {
return a + b + c
}
// 柯里化后的函数
let curried = _.curry(getSum) // 测试
curried(1, 2, 3)
curried(1)(2)(3)
curried(1, 2)(3)
----------------------------
//柯里化案例
const _ = require('lodash')
const match = _.curry(function (reg, str) {
return str.match(reg)
})
const haveSpace = match(/\s+/g)
const haveNumber = match(/\d+/g)
console.log(haveSpace('hello world'))
console.log(haveNumber('25$'))
---------------------------
const filter = _.curry(function (func, array) {
return array.filter(func)
})
console.log(filter(haveSpace, ['John Connor', 'John_Donne']))
const findSpace = filter(haveSpace)
console.log(findSpace(['John Connor', 'John_Donne']))
模拟 _.curry()的实现 🐂👃!!!!!!!!!!!
function curry (func) {
return function curriedFn (...args) {
// 判断实参和形参的个数
if (args.length < func.length) {
return function () {
return curriedFn(...args.concat(Array.from(arguments)))
}
// 实参和形参个数相同,调用 func,返回结果
return func(...args)
}
}
总结
- 柯里化可以让我们给一个函数传递较少的参数得到一个已经记住了某些固定参数的新函数
- 这是一种对函数参数的’缓存’
- 让函数变的更灵活,让函数的粒度更小
- 可以把多元函数转换成一元函数,可以组合使用函数产生强大的功能
函数组合
- 纯函数和柯里化很容易写出洋葱代码 h(g(f(x)))
- 获取数组的最后一个元素再转换成大写字母, .toUpper(.first(_.reverse(array)))
下面这张图表示程序中使用函数处理数据的过程,给fn 函数输入参数a,返回结果b。可以想想a 数据通过一个管道得到了b 数据。
当fn 函数比较复杂的时候,我们可以把函数fn 拆分成多个小函数,此时多了中间运算过程产生的m 和
n。
下面这张图中可以想象成把fn 这个管道拆分成了3个管道f1, f2, f3,数据a 通过管道f3 得到结果m,m
再通过管道f2 得到结果n,n 通过管道f1 得到最终结果b
- fn = compose(f1, f2, f3)
- b = fn(a)
函数组合
函数组合(compose):如果一个函数要经过多个函数处理才能得到最终值,这个时候可以把中间过程的函数合并成一个函数
函数就像是数据的管道,函数组合就是把这些管道连接起来,让数据穿过多个管道形成最终 结果
函数组合默认是从右到左执行
function first (arr) {
return arr[0]
}
function reverse (arr) {
return arr.reverse()
}
// 组合函数
function compose (f, g) {
return function (x) {
return f(g(x))
}
}
// 从右到左运行
let last = compose(first, reverse)
console.log(last([1, 2, 3, 4]))
- lodash 中的组合函数
- lodash 中组合函数flow() 或者flowRight(),他们都可以组合多个函数
- flow() 是从左到右运行
- flowRight() 是从右到左运行,使用的更多一些
const _ = require('lodash')
const toUpper = s => s.toUpperCase()
const reverse = arr => arr.reverse()
const first = arr => arr[0]
const f = _.flowRight(toUpper, first, reverse)
console.log(f(['one', 'two', 'three']))
- 模拟实现lodash 的flowRight 方法 ```javascript
// 多函数组合 function compose (…fns) { return function (value) { return fns.reverse().reduce(function (acc, fn) { return fn(acc) }, value) } }
// ES6 const compose = (…fns) => value => fns.reverse().reduce((acc, fn) => fn(acc), value)
- 函数的组合要满足**结合律 **(associativity):
- 我们既可以把g 和h 组合,还可以把f 和g 组合,结果都是一样的
```javascript
// 结合律(associativity)
let f = compose(f, g, h)
let associative = compose(compose(f, g), h) == compose(f, compose(g, h))
// true
所以代码还可以像下面这样
const _ = require('lodash')
const f = _.flowRight(_.toUpper, _.first, _.reverse)
const f = _.flowRight(_.flowRight(_.toUpper, _.first), _.reverse) const f = _.flowRight(_.toUpper, _.flowRight(_.first, _.reverse))
console.log(f(['one', 'two', 'three']))
// => THREE
调试
如何调试组合函数
const f = _.flowRight(_.toUpper, _.first,_.reverse)
console.log(f(['one', 'two', 'three']))
const _ = require('lodash')
const split = _.curry((sep, str) => _.split(str, sep))
const join = _.curry((sep, array) => _.join(array, sep))
const map = _.curry((fn, array) => _.map(array, fn))
const trace = _.curry((tag, v) => {
console.log(tag, v)
return v
})
const f = _.flowRight(join('-'), trace('map 之后'), map(_.toLower),
trace('split 之后'), split(' '))
console.log(f('NEVER SAY DIE'))
- lodash/fp
- lodash 的fp 模块提供了实用的对函数式编程友好的方法
- 提供了不可变 auto-curried iteratee-first data-last 的方法
// lodash 模块
const _ = require('lodash')
_.map(['a', 'b', 'c'], _.toUpper)
// => ['A', 'B', 'C']
_.map(['a', 'b', 'c'])
// => ['a', 'b', 'c']
_.split('Hello World', ' ')
// lodash/fp 模块
const fp = require('lodash/fp')
fp.map(fp.toUpper, ['a', 'b', 'c'])
fp.map(fp.toUpper)(['a', 'b', 'c'])
fp.split(' ', 'Hello World')
fp.split(' ')('Hello World')
const fp = require('lodash/fp')
const f = fp.flowRight(fp.join('-'), fp.map(_.toLower), fp.split(' '))
console.log(f('NEVER SAY DIE'))
Point Free
Point Free:我们可以把数据处理的过程定义成与数据无关的合成运算,不需要用到代表数据的那个参数,只要把简单的运算步骤合成到一起,在使用这种模式之前我们需要定义一些辅助的基本运算函数。
- 不需要指明处理的数据
- 只需要合成运算过程
- 需要定义一些辅助的基本运算函数
const f = fp.flowRight(fp.join('-'), fp.map(_.toLower), fp.split(' '))
案例演示
// 非 Point Free 模式
// Hello World => hello_world
function f (word) {
return word.toLowerCase().replace(/\s+/g, '_');
}
// Point Free
const fp = require('lodash/fp')
const f = fp.flowRight(fp.replace(/\s+/g, '_'), fp.toLower)
console.log(f('Hello World'))
使用Point Free 的模式,把单词中的首字母提取并转换成大写
const fp = require('lodash/fp')
// world wild web => W. W. W
const firstLetterToUpper = fp.flowRight(
fp.join('. ),
fp.map(fp.toUpper),
fp.map(fp.first),
split(' ')
)
// 进一步优化 ==>
const firstLetterToUpper = fp.flowRight(
join('. '),
fp.map(fp.flowRight(fp.first, fp.toUpper)),
split(' ')
)
console.log(firstLetterToUpper('world wild web'))
Functor (函子)
为什么要学函子
到目前为止已经已经学习了函数式编程的一些基础,但是我们还没有演示在函数式编程中如何把副作用 控制在可控的范围内、异常处理、异步操作等。
什么是 Functor
// 一个容器,包裹一个值
class Container {
// of 静态方法,可以省略 new 关键字创建对象
static of (value) {
return new Container(value)
}
constructor (value) {
this._value = value
}
// map 方法,传入变形关系,将容器里的每一个值映射到另一个容器
map (fn) {
return Container.of(fn(this._value))
}
}
// 测试
Container.of(3)
.map(x => x + 2)
.map(x => x * x)
}
总结
- 函数式编程的运算不直接操作值,而是由函子完成
- 函子就是一个实现了map 契约的对象
- 我们可以把函子想象成一个盒子,这个盒子里封装了一个值
- 想要处理盒子中的值,我们需要给盒子的map 方法传递一个处理值的函数(纯函数),由这个函数来对值进行处理
- 最终map 方法返回一个包含新值的盒子(函子)
在Functor 中如果我们传入null 或undefined
// 值如果不小心传入了空值(副作用)
Container.of(null)
.map(x => x.toUpperCase())
// TypeError: Cannot read property 'toUpperCase' of null
MayBe 函子
我们在编程的过程中可能会遇到很多错误,需要对这些错误做相应的处理
MayBe 函子的作用就是可以对外部的空值情况做处理(控制副作用在允许的范围)
class MayBe {
static of (value) {
return new MayBe(value)
}
constructor (value) {
this._value = value
}
// 如果对空值变形的话直接返回 值为 null 的函子
map (fn) {
return this.isNothing() ? MayBe.of(null) : MayBe.of(fn(this._value))
}
isNothing () {
return this._value === null || this._value === undefined
}
}
// 传入具体值
MayBe.of('Hello World')
.map(x => x.toUpperCase())
// 传入 null 的情况
MayBe.of(null)
.map(x => x.toUpperCase())
// => MayBe { _value: null }
在MayBe 函子中,我们很难确认是哪一步产生的空值问题,如下例:
MayBe.of('hello world')
.map(x => x.toUpperCase())
.map(x => null)
.map(x => x.split(' '))
// => MayBe { _value: null }
Either 函子
Either 两者中的任何一个,类似于if…else…的处理
异常会让函数变的不纯,Either 函子可以用来做异常处理
class Left {
static of (value) {
return new Left(value)
}
constructor (value) {
this._value = value
}
map (fn) {
return this
}
}
class Right {
static of (value) {
return new Right(value)
}
constructor (value) {
this._value = value
}
map(fn) {
return Right.of(fn(this._value))
}
}
Either 用来处理异常
function parseJSON(json) {
try {
return Right.of(JSON.parse(json));
} catch (e) {
return Left.of({ error: e.message});
}
}
let r = parseJSON('{ "name": "zs" }').map(x => x.name.toUpperCase())
console.log(r)
IO 函子
IO 函子中的_value 是一个函数,这里是把函数作为值来处理
IO 函子可以把不纯的动作存储到_value 中,延迟执行这个不纯的操作(惰性执行),包装当前的操作纯
把不纯的操作交给调用者来处理
const fp = require('lodash/fp')
class IO {
static of (x) {
return new IO(function () {
return x
})
}
constructor (fn) {
this._value = fn
}
map (fn) {
// 把当前的 value 和 传入的 fn 组合成一个新的函数
return new IO(fp.flowRight(fn, this._value))
}
}
// 调用
let io = IO.of(process).map(p => p.execPath)
console.log(io._value())
Task 异步执行
异步任务的实现过于复杂,我们使用folktale 中的Task 来演示
folktale 一个标准的函数式编程库
- 和lodash、ramda 不同的是,他没有提供很多功能函数
只提供了一些函数式处理的操作,例如:compose、curry 等,一些函子Task、Either、
MayBe 等
const { compose, curry } = require('folktale/core/lambda')
const { toUpper, first } = require('lodash/fp')
// 第一个参数是传入函数的参数个数
let f = curry(2, function (x, y) {
console.log(x + y)
})
f(3, 4)
f(3)(4)
// 函数组合
let f = compose(toUpper, first)
f(['one', 'two'])
Task 异步执行
- folktale(2.3.2) 2.x 中的Task 和 1.0 中的Task 区别很大,1.0 中的用法更接近我们现在演示的函子
- 这里以 2.3.2 来演示
const { task } = require('folktale/concurrency/task')
const fs = require('fs)
const { split, find } = require('lodash/fp')
function readFile(filename) {
return task(resolver => {
fs.readFile(filename, 'utf-8', (err, data) => {
if (err) resolver.reject(err)
resolver.resolve(data)
})
})
}
// 调用 run 执行
readFile('package.json')
.map(split('\n'))
.map(find(x => x.includes('version')))
.run().listen({
onRejected: err => {
console.log(err)
},
onResolved: value => {
console.log(value)
}
})
Pointed 函子
- Pointed 函子是实现了of 静态方法的函子
- of 方法是为了避免使用new 来创建对象,更深层的含义是of 方法用来把值放到上下文
Context(把值放到容器中,使用map 来处理值)
class Container {
static of (value) {
return new Container(value)
}
...
}
Contanier.of(2)
.map(x => x + 5)
Monad(单子)
在使用IO 函子的时候,如果我们写出如下代码:
const fs = require('fs')
const fp = require('lodash/fp')
let readFile = function (filename) {
return new IO(function() {
return fs.readFileSync(filename, 'utf-8')
})
}
let print = function(x) {
return new IO(function() {
console.log(x) return x
})
}
// IO(IO(x))
let cat = fp.flowRight(print, readFile)
// 调用
let r = cat('package.json')._value()._value()
console.log(r)
Monad 函子是可以变扁的Pointed 函子,IO(IO(x))
一个函子如果具有join 和of 两个方法并遵守一些定律就是一个Monad
const fp = require('lodash/fp')
// IO Monad
class IO {
static of (x) {
return new IO(function () {
return x
})
}
constructor (fn) {
this._value = fn
}
map (fn) {
return new IO(fp.flowRight(fn, this._value))
}
join () {
return this._value()
}
flatMap (fn) {
return this.map(fn).join()
}
}
let r = readFile('package.json')
.map(fp.toUpper)
.flatMap(print)
.join()
附录
函数式编程指北函数式编程入门
Pointfree 编程风格指南图解Monad
Functors, Applicatives, And Monads In Pictures