函數語言程式設計是一種程式設計正規化(程式設計思想，不要以為有啥模板)，主要思想是將運算過程儘量寫成一系列巢狀的函式。舉個例子

//宣告式
let d = a + b + c * d;

//函式式
let d = add(a,add(b,mul(c,d)))

例子沒有啥難度吧，那麼函數語言程式設計的函式和數學的函式有什麼關係呢，其實函數語言程式設計的函式就是數學裡的函式

對應的每一個相同的x總會得到相同的y，即純函式的定義。

函式式還有一些特性

      函式是"第一等公民": 函式可以是變數，在JavaScript中就不用解釋了

      沒有"副作用"： 即不改變函式外部狀態，跟純函式差不多，想想怎樣的函式才會對相同的x有不同的y呢，當然是引用了外部變數唄，比如

let t = 1;
function f (){//不是純函式，而且還有副作用
    let x = t;
    t--;
    return x;
}

     不修改狀態:給沒有副作用差不多意思，不改變外部狀態

     引用透明性: 純函式的定義，對於任意的相同輸入，都有相同的輸出

概念扯完了，來本文重點內容，函數語言程式設計的curry

curry(柯里化):是把接受多個引數的函式變換成接受一個單一引數（最初函式的第一個引數）的函式，並且返回接受餘下的引數而且返回結果的新函式的技術。

如果不理解就來看個例子

function add4(a,b,c,d){
   return a + b + c + d;
}
add4(1,2,3,4)//未柯里化

//那麼柯里化的應該能這麼用
add4_curry(1)(2)(3)(4)//柯里化

現在我們來實現一個curry化函式

我們想要的curry化函式是這樣的

let add4 = curry(function(a,b,c,d) {//使用curry化函式
   return a + b + c + d;
});

add4(1)(2,3)(4);

先看es5版的

/**
 *
 * @param fn
 * @returns {function(): function()}
 */
function curry(fn) {
  var args = [], // 裝總的引數的陣列
      n = fn.length; //傳入的函式的引數個數
  return function core() { //返回一個接任意個引數的函式
    var arg = [].slice.call(arguments); //獲取當前函式的引數
    args = args.concat(arg);
    n -= arg.length;
    return n === 0 ? fn.apply(null, args) : core;
  }
}

//使用如下
var add4 = curry(function (a, b, c, d) {
  return a + b + c + d;
});
console.log(add4(1, 2)(2)(3));
 

認真看，應該能看懂

然後再來個es6版的

const curry = (fn, n = fn.length, args = []) => n === 0 ? fn(...args) : (...args1) => curry(fn, n - args1.length, [...args, ...args1]);

//舉例
const add5 = curry((a, b, c, d, e) => a + b + c + d + e);

console.log(add5(1, 2)(3, 4)(5));

感謝es6提供的箭頭函式和...運算子以及函式預設引數，才能把curry函式一行就寫完，其實原理和es5版差不多。

現在來說說函數語言程式設計的curry化到底有什麼用，第一個用途，引數記憶，即對於多引數的函式我可以記憶前面的引數

比如

//add4的例子
let add1 = add4(1,2,3)
add1(4)//輸出10
add1(5)//輸出11
add1(6)//輸出12

可以看到，我把add4的引數1,2,3給記憶下來了，然後如果其他地方得用到引數1，2，3的話就沒必要寫了，這部分的其他應用就留給讀者去實踐了。

第二Function.prototype.bind的實現，學過react的人絕對熟悉這個東西，而Funtion.prototype.bind的實現也利用了curry化的原理，不妨來實現個bind函式

Function.prototype.bind = function () {
  var args = [].slice.call(arguments);//第一部分引數
  var that = args.shift();//第一個引數為待繫結的this
  var fn = this;//當前呼叫bind的函式
  return function () {//curry化
    var args1 = [].slice.call(arguments);//第二部分引數
    return fn.apply(that, args.concat(args1));
  }
};

//使用一下
function test(a,b) {
  console.log(this,a,b);
}
var t = test.bind({a:1,b:2},1);
t(2);

不過往原型上加東西通常是不好的，所有還是寫個bind 函式吧

function bind(fn) {
  var args = [].slice.call(arguments);
  args.shift();//除去fn
  var that = args.shift();//this引數
  return function () {
    var args1 = [].slice.call(arguments);//第二部分引數
    return fn.apply(that, args.concat(args1));
  }
}

var getById = bind(document.getElementById, document);
getById("name");

函數語言程式設計在react,redux等一些前端框架中使用非常廣泛，建議讀者可以好好學習一下這方面知識。

關於函數語言程式設計還有偏函式，函式組合，管道，函子等很多內容，後面我的部落格會慢慢補上。