函数式编程（Functional Programming, FP

作者: 贰玖是只猫 | 来源:发表于2021-03-16 22:12 被阅读0次

定义

对运算过程抽象, 描述数据（函数）间的映射

一等公民
高阶函数
闭包

高阶函数

抽象可以屏蔽细节，抽象通用的问题

闭包

可以在另一个作用域中调用一个函数的内部函数并访问到该函数的作用域成员

本质：函数在执行的时候会放到一个执行栈上，当函数执行完毕后从执行栈上移除，但是堆上的作用域成员因为被外部引用不能释放，因此内部函数还可以访问外部成员

纯函数

概念：相同的输入永远会得到相同的输出。没有任何可观察的副作用

eg: slice(纯函数)/splice(非纯函数)

特点

函数式编程不会保留计算结果所以变量是不可变的(无状态的)；

可把函数的执行结果交给另一个函数去处理；

lodash(纯函数的代表)

纯函数的好处

可缓存

//记忆函数
const _ = require("lodash");

function getArea(r) {
    console.log(r)
    return Math.PI * r * r
}

// let getAreaWithMemory = _.memoize(getArea)

function memoize(f) {
    let cache = {}
    return function() {
        let args = JSON.stringify(arguments);
            cache[args] = cache[args] || f.apply(f, arguments)
            return cache[args]
    }
}

let getAreaWithMemory = memoize(getArea)

getAreaWithMemory(4);
getAreaWithMemory(4);
getAreaWithMemory(4);

可测试
- 可断言
并行处理
- 纯函数不需要访问共享的内存数据，可任意运行纯函数

纯函数的副作用

如果函数依赖外部状态，无法保证输出相同

副作用来源：

全局变量
配置文件
数据库
用户输入
....

$\color{red}{柯里化}$

lodash中的柯里化

_.curry(fn)

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

const _ = require("lodash")

const match = _.curry(function (reg, str) {
    return str.match(reg)
})
const haveSpace = match(/\s+/g)
// 数组过滤 ''
const filter = _.curry(fn => arrary => arrary.filter(fn))

const findSpace = filter(haveSpace)
console.log(findSpace(['hello world', 'helloworld']))

实现

function curry(fn) {
    return function curriedFn(...args) {
        //判断实参和形参的个数
        if (args.length < fn.length) {
            return function () {
                //拼接参数
                return curriedFn(...args.concat(...Array.from(arguments)))
            }
        }
        return fn.apply(fn, args)
        //亦或者
        //return fn(...args)
    }
}

function getSum(a, b, c) {
    return a + b + c;
}

const curried = curry(getSum);
console.log(curried(1, 2, 3));
console.log(curried(1)(2)(3));
console.log(curried(1, 2)(3));

总结

柯里化 $\color{red}{可以让我们给一个函数传递较少的参数得到一个已经记住了某些固定参数的新函数}$
对函数的”缓存“
函数更灵活，粒度更小
把多元函数转换成一元函数，可以组合使用函数

函数组合

概念：如果一个函数要经过多个函数处理才能得到最终值，这个时候可以把中间过程的函数合并成一个函数

$\color{red}{函数组合默认是从右向左执行}$

eg: 取数组的最后一个元素

// 组合函数
function compose (f, g) {
  return function (x) {
    return f(g(x))
} }
function first (arr) {
  return arr[0]
}
function reverse (arr) {
  return arr.reverse()
}
// 从右到左运行
let last = compose(first, reverse) console.log(last([1, 2, 3, 4]))

lodash中的组合函数

_.flowRight
从右到做执行

const _ = require("lodash")

const reverse = arr => arr.reverse()
const first = arr => arr[0]
const toUpper = s => s.toUpperCase()

const fn = _.flowRight(toUpper, first, reverse)

console.log(fn(["a","b","c","d"]));

//D

模拟实现

const _ = require("lodash")

const reverse = arr => arr.reverse()
const first = arr => arr[0]
const toUpper = s => s.toUpperCase()

// 模拟实现flowRight
// reduce复习：遍历数组对给定初始值按照传入函数进行处理
//reduce(fn,initValue)接收2个参数。第一个是迭代器函数，函数的作用是对数组中从左到右的每一个元素进行处理。函数有4个参数，分别是accumulator、currentValue、currentIndex、array。
// 　　　　accumulator 累加器，即函数上一次调用的返回值。第一次的时候为 initialValue || arr[0]
// 　　　　currentValue 数组中函数正在处理的的值。第一次的时候initialValue || arr[1]
// 　　　　currentIndex 数组中函数正在处理的的索引
// 　　　　array 函数调用的数组
// 　　　　initValue reduce 的第二个可选参数，累加器的初始值。没有时，累加器第一次的值为currentValue；
// const compose = function(...args) {
//     return function(value) {
//         return args.reverse().reduce((acc, fn) => {
//             return fn(acc)
//         }, value)
//     }
// }

//箭头函数改造
const compose = (...args) => value => args.reverse().reduce((acc, fn) => fn(acc), value)
const fn = compose(toUpper, first, reverse)

函数组合满足结合律

let f = compose(f, g, h)
let associative = compose(compose(f, g), h) == compose(f, compose(g, h))

调试组合函数

eg:

// NEVER GIVE UP --> never give up
const _ = require("lodash")

const split = _.curry((separator,  str) => _.split(str, separator))

// _.toLower

const join = _.curry((separator, arr) => _.join(arr, separator))

const f = _.flowRight(join('-'),_.toLower,split(' '))

console.log(f('NEVER GIVE UP'))

//n-e-v-e-r-,-g-i-v-e-,-u-p

显而易见目前得到的结果是错误的，那么如何去debug，需要我们结合组合函数的特性去处理，在可能执行错误的函数后面家一个专门用于打印阶段结果的函数，并原封不动的返回传入的值，如下：

const trace = _.curry((tag, v) => {
    console.log(tag, v)
    return v
})
const f = _.flowRight(join('-'),trace("执行 toLower后结果为："),_.toLower,trace("执行 split后结果为："),split(' '))

//执行 split后结果为： [ 'NEVER', 'GIVE', 'UP' ]
//执行 toLower后结果为： never,give,up

发现错误的位置，那么发现 _.toLower 的返回值为string, 需要我们去改造

const map = _.curry((fn, arr) => _.map(arr, fn))

const f = _.flowRight(join('-'),map(_.toLower),split(' '))

console.log(f('NEVER GIVE UP'))
// never-give-up

如此得到我们期待的结果

lodash/fp

lodash中的FP模块提供了对函数式编程友好的方法
提供了不可变的auto-curried iteratee-first data-last等方法

eg:

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')

lodash/fp 中的map方法

const _ = require("lodash")
console.log(_.map(['23', '8', '10'], parseInt))  // 错误  返回 [ 23, NaN, 2 ]   _.map的第二个参数  iteratee里面有  三个参数  即调用  parseInt("23", 0, array) 而parseInt本身第二个参数为进制
console.log(_.map(['23', '8', '10'], val => parseInt(val)))

// fp模块
const fp = require("lodash/fp")
console.log(fp.map(parseInt, ['23', '8', '10']))

Point Free

point free 是一种风格手段是函数组合

不需要指明处理的数据
只需要合成运算过程
需要定义一些辅助的基本运算函数
eg:

// point free
const fp = require("lodash/fp")

// const firstLetterToUpper = fp.flowRight( fp.join(". "),fp.map(fp.first),fp.map(fp.toUpper),fp.split(" "))
const firstLetterToUpper = fp.flowRight( fp.join(". "),fp.map(fp.flowRight(fp.first,fp.toUpper)),fp.split(" "))

console.log(firstLetterToUpper("Hello world"))

可以看到我们将fp.first与fp.toUpper做了一次合并，减少了一次数组遍历

函子 Functor

容器：包含值和值的变形关系(函数)
函子：是一个特殊的容器，通过一个普通的对象来实现，该对象具有map 方法，map方法可以运行一个函数对值进行处理（变形关系）

class Container {

    static of (value) {
        return new Container(value)
    }

    constructor(value) {
        this._value = value
    }

    map(fn) {
        return Container.of(fn(this._value))
    }
}

let f = Container.of(5).map(x => x + 1).map(x => Math.pow(x, 2))
console.log(f);

这里的 container类就可以看做一个函子，map中传入的fn就用来变形
但是，假如传入函子的值为null undefined的时候如何处理？这时候用到了maybe 函子

MayBe函子

//maybe 函子

class MayBe {

    static of (value) {
        return new MayBe(value)
    }

    constructor(value) {
        this._value = value
    }

    map(fn) {
        return this.isNothing() ? MayBe.of(null) :  MayBe.of(fn(this._value))
    }

    isNothing() {
        return this._value === null || this._value === undefined
    }
}

let r = MayBe.of().map(x => x.toUpperCase())
console.log(r)

MayBe函子可以解决输入值异常的问题，但是假如多次调用map,却无法定位是哪个map阶段出了问题，那么就引出了 Either函子

Either函子

我们实现一个Either函子

//either 函子

class Container {
    static of (value) {
        return new Container(value)
    }

    constructor(value) {
        this._value = value
    }

    map(fn) {
        return Container.of(fn(this._value))
    }
}

class Left extends Container {
    map(fn) {
        return this
    }
}

class Right extends Container {
    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("{key: a}")
// Container { _value: { error: 'Unexpected token k in JSON at position 1' } }

let r = parseJSON('{"key": "a"}')
// Container { _value: { key: 'a' } }

IO函子

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

const fp = require("lodash/fp")

class IO {
    static of(x ) {
        return new IO(() => x)
    }
    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())

r._value() 最后执行了不纯的操作

Task异步执行

folktale 一个标准的函数式编程库

和lodash、ramda不同的是，没有提供很多功能函数
只提供了一些函数式的处理操作 eg: compose curry等，函子Task、Either、MayBe等

下面提供一个简单的应用：从文件中读取某些符合条件的信息

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

-Pointed 函子是实现了 of 静态方法的函子

of方法是为了避免使用new来创建对象，更深层的含义是of方法把值放到上下文的context中（把值放到容器中，使用map来处理值）

Monad函子

Monad函子是包含join和of静态方法的函子，主要用来解决函子嵌套问题

实现

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 () {
        return x
    })
}
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)  //当我们想去合并一个函数，如果返回为一个值用 `map`
    .flatMap(print) //如果返回值为一个 函子 用 `flatMap`
    .join()