函数式编程的函数组合概念、原理、结合律、调试

函数组合

• 纯函数和柯里化很容易写出洋葱代码h(g(f(x)))
  • 获取数组的最后一个元素在转换成大写字母_.toUpper(_.first(_.reverse(array)))
  • 函数组合可以让我们把细粒度的函数重新组合生成一个新的函数

管道

• 给fn函数输入参数a，返回结果b，可以想象a数据通过一个管道得到了b数据

  • 但是当这个管道很长的时候，我们在出错时会很难排查，所以我们可以将一个很长的管道，分成几个小管道

    • a进入f3管道得到m，m进入f2管道得到n，n进入f1管道得到b

  • 现在我们在函数出现问题的时候处理起来就会方便很多

• 不过我们也可以看出，这样一来，多出两个中间的结果，比如说 m 和 n 但是我们在函数组合的过程中，我们不需要关注它们两个

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

函数合并

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

  • 函数就像是数据的管道，函数组合就是把这些管道连接起来，让数据穿过多个管道形成最终结果

  • 函数组合默认是从右到左执行

• 示例

function compose (f, g) {
    return function (value) {
        return f(g(value))
    }
}

function reverse (array) {
    return array.reverse()
}

function last (array) {
    return array[0]
}

const post = compose(last, reverse);
console.log(post([1,2,3,4]))

• 虽然我们这个获取到数组的最后一位元素实现起来完全没必要像这样麻烦，但是我们这样做之后，reverse 和 last 两个函数还可以和其他函数合并在一起，然后组成一个更强大的函数

lodash中的组合函数

• lodash中组合函数flow()或者flowRight()，他们都可以组合多个函数
  • flow()是从左到右运行
  • flowRight()是从右到左运行，使用的更多一些

组合函数原理模拟

const _ = require('lodash')

const reverse = arr => arr.reverse()
const last = arr => arr[0]
const toUpper = a => a.toUpperCase()

/**
 * reduce：对数组中的每一个元素，执行一个我们自己提供的函数，并将其汇总为一个单个的结果
 * 
 * 参数为一个函数，函数内有两个参数
 *      第一个：累积的结果
 *      第二个：如何去处理我们每一次的结果并且返回一个新的值 --- 他依然是个函数
 *              他其实就是我们传入的每一个函数
 * 
 * reduce的第二个参数为第一个参数(函数)内部变量的第一个参数的初始值 -- 这里其实就是acc的初始值
 * */ 


// function compose (...args) {
//     return function (value) {
//         return args.reverse().reduce(function (acc, fn) {
//             return fn(acc)
//         }, value)
//     }
// }

const compose = (...args) => value => args.reverse().reduce((acc, fn) => fn(acc), value)

const f = compose(toUpper, last, reverse)
console.log(f(['a','b','c','d']))

函数组合-结合律

• 函数的组合要满足结合律(associativity)
  • 我们既可以把g和h组合，还可以把f和g组合，结果都是一样的

// 结合律（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(['a','b','c','d']))

函数组合如何调试

• 如果我们使用的函数组合执行的结果，跟我们预期的不一致，那我们应该如何来调试？

const _ = require('lodash')

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

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

const join = _.curry((sep, array) => _.join(array, sep))

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

console.log(f('NEVER SAY DIE')) 

// 上述代码执行结束后会有问题，但是我们不知道该在哪里修改，所以我们需要迭代一下我们的代码

const _ = require('lodash')

const log = item => {
    console.log(item)
    return item
}

......

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

console.log(f('NEVER SAY DIE')) 

// 这时我们已经可以有提示了，但是还是还不能够清楚的知道，哪条是哪条，所以还需要再次迭代

const _ = require('lodash')

// const log = item => {
//     console.log(item)
//     return item
// }
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'))