m1

最新推荐文章于 2024-02-03 01:10:08 发布

zsnpromsie

最新推荐文章于 2024-02-03 01:10:08 发布

阅读量157

点赞数

分类专栏： jsvascript

本文链接：https://blog.csdn.net/zsnpromsie/article/details/117257769

版权

jsvascript 专栏收录该内容

40 篇文章 0 订阅

订阅专栏

函数式编程与 JS 异步编程、手写 Promise

任务一：函数式编程范式

函数式编程

函数式编程的特性（纯函数，柯里化，函数组合等）
函数式编程库Lodash

学习函数式编程的理由

函数式编程是随着React的流行受到越来越多的关注
Vue3也开始拥抱函数式编程
函数式编程可以抛弃this
打包过程中可以更好的利用tree shaking 过滤无用代码
方便测试，方便并行处理
有很多库可以进行函数式开发：lodash，underscore，ramda

什么是函数式编程

函数式编程（Functional Programming FP）FP 式编程范式之一，常听说的编程范式还有面向过程编程，面向对象编程。
函数式编程的思维方式：把现实世界的事物和事物之间的联系抽象到程序世界（对运算过程进行抽象）
- 函数式编程中的函数指的不是程序中的函数（方法），而是数学中的函数及映射关系。如：y=sin(x)
- 相同的输入始终要得到相同的输出（纯函数）
- 函数式编程用来描述数据（函数）之间的映射

函数是一等公民

函数可以储存在变量中
函数作为参数
函数作为返回值
在JavaScript中函数就是一个普通的对象（可以通过 new Function()）创建

高阶函数-函数作为参数
高阶函数-函数作为返回值
高阶函数的意义
- 通过抽象屏蔽细节
常用的高阶函数
- 如数组方法：forEach，map，find，filter …
闭包(Closure)
- 函数和其周围的状态（词法环境的）的引用捆绑在一起形成闭包
  - 可以在另一个作用域中调用一个函数的内部函数并访问到该函数的作用域中的成员
- 函数的嵌套形成闭包
- 闭包的本质：函数在执行的时候会放到一个执行栈上当函数执行完成之后会从执行栈上移除，但是堆上的作用域因为被外部引用不能释放，因此内部函数依然可以访问外部函数的成员
闭包-案例
纯函数

纯函数：相同的输入永远会得到相同的输出，而且没有任何柯观察的副作用
lodash 是一个纯函数的功能库，提供了对数组，数字，对象，字符串，函数等操作的一些方法
数组的slice和splice分别是：纯函数和不纯函数。
- slice 返回数组中的指定部分，不会改变数组
- splice 对数组进行操作返回该数组，会改变原数组
函数式编程不会保留计算中间的结果，所以变量是不可变的（无状态的）

lodash
纯函数的好处

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


function cache(fn) {
    let arr = {}
    return function() {
        let key = JSON.stringify(arguments)
        arr[key] = arr[key] || fn.apply(fn, arguments)
        return arr[key]
    }
}

function add (n) {
    console.log(n)
    return n + 5
}
let cAdd = cache(add)
console.log(cAdd(2))
console.log(cAdd(2)) // 直接调用缓存的结果

副作用

纯函数：对于相同的输入永远得到相同的输出，而且没有任何可以观察到的副作用
副作用会让一个函数变的不纯，纯函数根据相同的输入返回相同的输出，如果函数依赖于外部的状态就无法保证输出相同，就会带来副作用
副作用的来源：
- 配置文件
- 数据库
- 获取用户的输入
所有的外部交互都有可能带来副作用，副作用也使得方法的通用性下降不适合扩展，同是副作用会给程序带来安全隐患给程序带来不确定性，但是副作用不可能完全禁止，尽可能控制它们在可控范围内发生。

柯里化（Haskell Brooks Curry）

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

ladash中的柯里化方法

_.curry(func)

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


// const _ = require('lodash')
// let curried = _.curry(getSum)
function getSum(a, b, c) {
    return a + b + c
}
// function curry(fn) {
//   return function f() {
//       if (arguments.length === fn.length) {
//         return fn.apply(fn, arguments)
//       } else {
//         let _arguments = [].slice.call(arguments)
//         return  function() {  
//             return f.apply(f, _arguments.concat([].slice.call(arguments)))
//         }
//       }
//   }
// }
// es 6
let curry = fn => {
    return function f(...args) {
        if (args.length === fn.length) {
            return fn(...args)
        } else {
            return f.bind(f, ...args)
        }
    }
}
let curried = curry(getSum)
console.log(curried(1, 2, 3))
console.log(curried(1)(2)(3))
console.log(curried(1,2)(3))

柯里化案例
柯里化原理模拟
柯里化总结

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

函数组合(compose)

纯函数和柯里化函数任意写出洋葱代码 h(g(f(x)))
函数组合可以把细粒度的函数重新组合生成一个新的函数
函数就像数据的管道，函数组合就是把这些管道连接起来，让数据穿过多个管道形成最终结果
函数组合默认从右到左执行

lodash中的组合函数

flow() 是从左往右执行
flowRight() 是从右往左执行，使用更频繁(默认规则)

组合函数模拟


const trace = curry((tag, v) => { // 函数组合-测试
    console.log(tag + v)
    return v
})
const reverse = arr => arr.reverse()
const fisrt = arr => arr[0]
const toUpper = s => s.toUpperCase()
const flowRight = (...args) => value => args.reverse().reduce((v, fn) => fn(v), value)

const f = flowRight(toUpper, fisrt, reverse)
const f2 = flowRight(flowRight(toUpper, fisrt), trace('reverse 执行结果：'),reverse) // 结合律
console.log(f(['z', 's', 'n']))

console.log(f2(['z', 's', 'n']))

函数的组合要满足结合律（associativity）:

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

函数组合测试
lodash-fp模块

fp模块提供律实用的对函数式编程友好的方法
提供了不可变 auto-curried iteratee-first data-last 的方法（柯里化，函数优先，参数最后）

// lodash 模块
const _ = require('lodash')

_.map(['a', 'b', 'c'], _.toUpper)

_.split('Hello word', ' ')
// lodash/fp 模块
const fp = require('lodash/fp')

fp.map(fp.toUpper, ['a', 'b', 'c'])
fp.map(fp.toUpper)(['a', 'b', 'c'])

fp.split(' ', 'Hello word')

lodash-map方法的小问题

const _ = require('lodash')

console.log(_.map(['23', '8', '10'], parseInt))
// parseInt('23', 0, array)
// parseInt('8', 1, array)
// parseInt('10', 2, array)
// [23, NaN, 2]

const fp = require('lodash/fp')

console.log(fp.map(parseInt, ['23', '8', '10']))
// [23, 8, 10]  只会给parseInt传递一个参数

Pointfree
- Point Free：可以把数据处理的过程定义成与数据无关的合成运算，不需要用到代表数据的那个参数，只是把简单的运算步骤合成到一起，在使用这种模式之前我们需要定义一些辅助的基本运算函数
  - 不需要指明处理的数据
  - 只需要合成运算过程
  - 需要定义一些辅助的基本运算函数
```
// Hello World => hello_word
// 普通模式

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'))
 
```
Pointfree-案例

// 把一个字符串的首字母提取并转化未大写，使用.做分隔符
const fp = require('lodash/fp')

// const firstLetterToupper = fp.flowRight(fp.map(fp.toUpper),fp.map(fp.first),fp.split(' '))

const firstLetterToupper = fp.flowRight(fp.map(fp.flowRight(fp.first, fp.toUpper)),fp.split(' '))
console.log(firstLetterToupper('world wild web'))

Functor(函子)

为什么要学函子
- 在函数式编程中任何把副作用控制在可控范围内，异步处理，异步操作等。
什么是Functor
- 容器：包含值和值的变形关系（这个变形关系就是函数）
- 函子：是一个特殊的容器，通过一个普通的对象来实现，该对象具有map方法，map方法可以运行一个函数对值进行处理（变形关系）


// Functor 函子

class Container {
    static of (value) {
        return new Container(value)
    }
    constructor(value) {
        this._value = value
    }
    map(fn) {
        return Container.of(fn(this._value))
    }
}

let r = Container.of(5).map(v => v + 1).map(v => v * v)

console.log(r)

Functor总结

函数式编程的运算不直接操作值，而是由函子完成
函子就是一个实现了map契约的对象
可以把函子想像成一个盒子，这个盒子里封装里一个值
需要处理盒子里的值，就要给map方法传递一个处理值的函数（纯函数）,由这个函数来对值进行处理
最终map方法返回一个包含新值的盒子（函子）

MayBe函子

在编程过程中可能遇到很多错误，需要对相应的错误进行处理
MayBe 函子的作用就是可以对外部的空值进行处理（控制副作用在允许的范围内）


class Container {
  static of (value) {
      return new Container(value)
  }
  constructor(value) {
      this._value = value
  }
  map(fn) {
      return this.isNothing() ? Container.of(null) : Container.of(fn(this._value))
  }
  isNothing() {
      return this._value === null || this._value === undefined
  }
}

// let r = Container.of('hello word').map(v => v.toLowerCase()).map(v => v.replace(/\s+/g,  '_'))
let r = Container.of(null).map(v => v.toLowerCase()).map(v => v.replace(/\s+/g,  '_'))
console.log(r)

Either函子

Either 两者中的任何一个，类似与 if…else…的处理
异常会让函数变得不纯，Either函子可以用来做异常处理

// 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))
    }
}

function parseJson(str) {
    try {
        return Right.of(JSON.parse(str))
    } catch (e) {
        return Left.of({error: e.message })
    }
}

// let r = parseJson('{name: ccc}').map(x => x.name.toUpperCase())
let r = parseJson('{"name": "ccc"}').map(x => x.name.toUpperCase())
console.log(r)

IO函子

IO 函子中的_value是一个函数，这里把函数当作值来处理
IO 函子可以把不纯的操作储存到_value中。延迟执行不纯的操作（惰性执行），包装当前的纯操作
把不纯的操作交给调用者处理

// IO 函子

const fp = require('lodash/fp')

class IO {
    static of (value) {
        return new IO(function() {
            return value
        })
    }
    constructor(fn) {
        this._value = fn
    }
    map(fn) {
        return new IO(fp.flowRight(fn, this._value))
    }
}
let r = IO.of(process).map(p => p.execPath)
console.log(r._value())

Folktale

异步任务的实现过于复杂，使用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, (x, y) => {
    console.log(x + y)
})
f(2,3)
f(2)(3)

f = compose(toUpper, first)

console.log(f(['abc', 'ttt']))

Folktale Task 异步执行

folktale（2.3.2）中的Task和1.0中的Task区别很大，1.0中的用法更接近我现在演示的例子
这里以2.3.2来演示

const fs = require('fs')
const {task} = require('folktale/concurrency/task')
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)
        })
    })
}

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 函子

函子是实现了of静态方法的函子
of方法是为了避免使用new来创建对象，更深层次的含义是of方法用来把值放到上下午context（把值放到容器中，使用mao来处理）

IO函子的问题


const fp = require('lodash/fp')
const fs = require('fs')
class IO {
    static of (value) {
        return new IO(function() {
            return value
        })
    }
    constructor(fn) {
        this._value = fn
    }
    map(fn) {
        return new IO(fp.flowRight(fn, this._value))
    }
}
let readFile = function(fileName) {
    return new IO(() => {
        return fs.readFileSync(fileName, 'utf-8')
    })
}
let print = function(x) {
    return new IO(() => {
        console.log(x)
        return x
    })
}
let f = fp.flowRight(print, readFile)

let r = f('package.json')._value()._value() // 如果有函子嵌套的话，要多次调用_value才能得到值
console.log(r)

Monad 函子

Monad函子是可以变扁的Pointd 函子。IO(IO(x))
一个函子如果具有join和of两个方法并遵循一些定律就是Monad
当我们合并函数返回一个值，调用map，当我们合并函数返回一个函子，调用flatMap


const fp = require('lodash/fp')
const fs = require('fs')
class IO {
    static of (value) {
        return new IO(function() {
            return value
        })
    }
    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 readFile = function(fileName) {
    return new IO(() => {
        return fs.readFileSync(fileName, 'utf-8')
    })
}
let print = function(x) {
    return new IO(() => {
        console.log(x)
        return x
    })
}
// let f = fp.flowRight(print, readFile)

// let r = f('package.json')._value()._value() // 如果有函子嵌套的话，要多次调用_value才能得到值

let r = readFile('package.json')
.map(x => x.toUpperCase())  // 合并返回的是一个函数
.flatMap(print)  // 合并返回的是一个函子
.join()
console.log(r)