一、为什么要学习函数式编程

  • 函数式编程随着react的流行受到越来越多的关注
  • Vue3 开始拥抱函数式编程
  • 函数式编程可以抛弃this
  • 打包过程中可以更好地利用tree shaking过滤无用代码
  • 方便测试和并行处理
  • 有很多库可以帮助我们进行函数式开发:lodash、underscore

    二、概念

    函数式编程(Functional Programming, FP),FP 是编程范式之一,我们常听说的编程范式还有面向过程编程、面向对象编程。
    面向对象编程的思维方式:把现实世界中的事物抽象成程序世界中的类和对象,通过封装、继承和多态来演示事物事件的联系
    函数式编程的思维方式:把现实世界的事物和事物之间的联系抽象到程序世界(对运算过程进行抽象)

  • 程序的本质:根据输入,通过某种运算获得相应的输出,程序开发过程中会设计很多有输入和输出的函数

  • x-> f(联系、映射)-> y,y=f(x)
  • 函数式编程中的函数指的不是程序中的函数,而是数学中的函数(映射关系),如:y = sin(x) x和y的关系
  • 相同的输入始终要得到相同的输出(纯函数)
  • 函数式编程用来描述数据(函数)之间的映射
    1. //非函数式
    2. let num1 = 2
    3. let num2 = 3
    4. let sum = num1 + num2
    5. //函数式
    6. function add(n1, n2){
    7. return n1 +n2
    8. let sum = add(2, 3)

三、前置知识

1、函数是一等公民

  • 函数可以存储在变量中
  • 函数作为参数
  • 函数作为返回值

在JS中函数就是一个普通对象,可以把它存储到变量/数组中,还可以作为另一个函数的参数和返回值,甚至可以在程序运行中通过new Function(‘alert(1)’)来构造一个新的函数

  1. const BlogController = {
  2. index(posts) { return Views.index(posts) },
  3. show(posts) { return Views.show(posts) }
  4. }
  5. //优化
  6. const BlogController = {
  7. index Views.index
  8. show Views.show
  9. }

2、高阶函数

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

    1. // forEach
    2. function forEach (array, fn) {
    3. for (let i = 0; i < array.length; i++) {
    4. fn(array[i])
    5. }
    6. }
    7. // filter
    8. function filter (array, fn) {
    9. let results = []
    10. for (let i = 0; i < array.length; i++) {
    11. if (fn(array[i])) {
    12. results.push(array[i])
    13. }
    14. }
    15. return results
    16. }
  • 函数作为返回值

    1. function makeFn () {
    2. let msg = 'Hello function'
    3. return function () {
    4. console.log(msg)
    5. }
    6. }
    7. const fn = makeFn()
    8. fn()
    1. function once(fn){
    2. let done = false
    3. return function(){
    4. if(!done){
    5. return fn.apply(this, arguments)
    6. }
    7. }
    8. }
    9. let pay = once(money=>{
    10. console.log(`支付${money}`)
    11. })
    12. pay()

    使用高阶函数的意义

  • 抽象可以帮我们屏蔽细节,只需要关注与我们的目标

  • 高阶函数是用来抽象通用的问题
  • 常见的高阶函数:

forEach、map、filter、every、some、find/findeIndex、reduce、sort…

  1. const some = (array, fn){
  2. let result = false
  3. for(let item of array){
  4. result = fn(item)
  5. if(result){
  6. break
  7. }
  8. }
  9. return result
  10. }

3、闭包

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

闭包案例

  1. // 生成计算数字的多少次幂的函数
  2. function makePower (power) {
  3. return function (x) {
  4. return Math.pow(x, power)
  5. }
  6. }
  7. let power2 = makePower(2)
  8. let power3 = makePower(3)
  9. console.log(power2(4))
  10. console.log(power3(4))

4、纯函数

  • 相同的输入永远会得到相同的输出,而且没有任何可观察的副作用
  • 类似数学中的函数,用于描述输入和输出之间的关系 y = f(x)

不得改写参数数据
不会产生任何副作用,例如网络请求,输入和输出设备
不能调用Date.now()或者Math.random()等不纯的方法
image.png

lodash 是一个纯函数的功能库,提供了对数组、数字、对象、字符串、函数等操作的一些方法
数组的slice和splice分别是纯函数和不纯的函数

  • slice返回数组中的指定部分,不会改变原数组
  • splice对数组进行操作返回该数组,会改变原数组
    1. let array = [1, 2, 3, 4, 5]
    2. console.log(array.slice(0,3)) //[) 截取的位置索引
    3. console.log(array)
    4. console.log(array.splice(0,3))//第一个是索引,第二个是截取多少个
    5. console.log(array)
    函数式编程不会保留计算中间的结果,所以变量是不可变的(无状态的)
    我们可以把一个函数的执行结果交给另一个函数去处理

优点:

  • 可缓存

因为纯函数对相同的输入始终有相同的结果,所以可以把纯函数的结果缓存起来

  1. function getArea(r){
  2. console.log(r)
  3. return Math.PI*r*r
  4. }
  5. let getAreaWithMemory = _.memoize(getArea)
  6. console.log(getAreaWithMemory(4))
  7. //模拟
  8. function memoize(f){
  9. let cache = {}
  10. return function(){
  11. let key = JSON.stringify(arguments)
  12. cache[key] = cache[key] || f.apply(f, arguments)
  13. return cache[key]
  14. }
  15. }
  • 可测试

纯函数让测试更方便

  • 并行处理

在多线程环境下并行操作共享的内存数据很可能会出现意外
纯函数不需要访问共享的内存数据,所以在并行环境下可以任意运行

副作用:

  1. let mini = 18
  2. function checkAge(age){
  3. return age>= mini
  4. }
  5. function checkAge(age){
  6. let mini = 18
  7. return age>= mini
  8. }

副作用让一个函数变得不纯,纯函数的根据相同的输入返回相同的输出,如果函数依赖于外部的状态就无法保证,就会有副作用
副作用来源:

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

所有的外部交互都有可能带来副作用,使得方法通用性下降,不适合扩展和复用,给程序带来安全隐患和不稳定性,但副作用不能完全禁止,需尽可能控制在可控范围

四、lodash常用方法

first、last、toUpper、reverse、each、includes、find、findIndex

  1. const _ = require('lodash')
  2. const array = ['jack', 'tom', 'lucy', 'jhon']
  3. console.log(_.first(array))
  4. console.log(_.last(array))
  5. console.log(_.toUpper(_.last(array)))
  6. console.log(_.reverse(array))
  7. const r = _.each(array,(item,index)=>{
  8. console.log(item,index)
  9. })

五、柯里化

当一个函数有多个参数的时候,现传递一部分参数调用它,然后返回一个新的函数接收剩余的参数,返回结果

  1. function checkAge(age){
  2. let min = 18
  3. retuen age >= min
  4. }
  5. function checkAge(min,age){
  6. retuen age >= min
  7. }
  8. function checkAge(min){
  9. retuen function(age){
  10. return age >= min
  11. }
  12. }
  13. let checkAge18 = checkAge(18)
  14. let checkAge = min =>(age => age>=min)

lodash中的柯里化

_.curry

  • 创建一个函数,接受一个或多个方法,如果方法所需参数都被提供,则执行方法并返回结果,否则继续返回该函数并等待接受剩余的函数
  • 参数:需要柯里化的函数
  • 返回:柯里化后的函数

    1. function getSum(a, b, c){
    2. return a+b+c
    3. }
    4. const curried = _.curry(getSum)
    5. curried(1,2,3)
    6. curried(1)(2)(3)
    7. curried(1)(2,3)

    例子

    1. //function match(reg, str){
    2. // return str.match(reg)
    3. //}
    4. const match = _.curry(function (reg, str){
    5. return str.match(reg)
    6. })
    7. const haveSpace = match(/\s+/g)
    8. const haveNum = match(/\d+/g)
    9. const filter = _.curry(function (func,arr){
    10. return arr.filter(func)
    11. })
    12. filter(haveSpace,['john connor','john_connor'])
    13. const findSpace = filter(haveSpace)
    14. findSpace(['john connor','john_connor'])

    原理

    1. function curry(func){
    2. return function curriedFn(...args){
    3. //判断实参和形参的个数
    4. if(args.length < func.length){
    5. return function(){
    6. return curriedFn(...args.concat(Array.from(arguments)))
    7. }
    8. }
    9. return func(...args)
    10. }
    11. }

    总结:

  • 给一个函数传递较少的参数,得到一个已经记住了某些固定参数的函数

  • 这是一种对函数参数的缓存
  • 让函数变得更灵活,让函数的粒度更小
  • 可以把多元函数转为一元函数,可以组合使用函数产生强大的功能