柯里化 反柯里化

currying

柯里化又稱部分求值，一個被currying的函樹，若是接受的參數長度小於形參的長度，函數不會當即執行，而是返回新的函數。currying在FP(函數式編程)中有着很重要的做用

柯里化的ES6實現

function currying (callback, ...initialParam) {
    return (...param) => {
        return ((params) => {
            return params.length === callback.length ? callback(...params) : currying(callback, ...params)
        })([...initialParam, ...param])
    }
}
複製代碼

柯里化的ES5實現

function currying () {
    let initialParams = Array.prototype.slice.call(arguments)
    let callback = params.shift()
    return function () {
        return (function (params) {
            return params.length === callback.length ? callback(...params) : currying(callback, ...params)
        })(initialParams.concat(Array.prototype.slice.call(arguments)))
    }
}
複製代碼

柯里化的使用

function fn (a, b, c) {
    console.log(a + b + c)
}

let fn1 = currying(fn, 1)

let fn2 = fn1(2)

fn2(3) // 6
複製代碼

uncurrying

使用call，apply可讓非數組借用一些其餘類型的函數，好比，Array.prototype.push.call, Array.prototype.slice.call， uncrrying把這些方法泛化出來，不在只單單的用於數組，更好的語義化。

反柯里化的實現

Function.prototype.uncurrying = function () {
    let self = this
    return function () {
        let obj = Array.prototype.shift.call(arguments)
        return self.apply(obj, arguments)
    }
}
複製代碼

// push能夠接受非數組的參數
let push = Array.prototype.push.uncurrying()

(function () {
    push(arguments, 4)
})(1,2,3)
複製代碼