偏函數、高階函數、柯里化、匿名函數

很久沒寫博客，從一道題目開始吧

實現一個sum函數，支持sum(1,2)和sum(1)(2)兩種調用方式

說實在的，沒啥難的，很簡單寫出來

function sum(a, b) {
  if (b) {
      return a + b;
  }   
  return (b) => a+b; 
}

或者用ES6的展開操做符，或者是arguments

function sum(...args) {
  if (args.length === 2) {
      return args[0] + args[1];
  } 
  if (args.length === 1) {
      return (b) => b + args[0]
  }   
}

考察的內容其實就是函數做爲返回值，簡單涉及到了閉包，還有arguments的判斷，ES6展開操做符的剩餘語法。而後能夠繼續發散，ES6熟不熟啊，閉包理解到不到位啊，arguments是否是數組，怎麼轉成數組……

不寫了，不寫了，展開能問的太多了。今天主要的目的是寫一寫函數相關，解釋一下那些常見的概念：偏函數、高階函數、柯里化、匿名函數。

偏函數

偏函數（Partial application），wiki上解釋

In computer science,partial application(orpartial function application) refers to the process of fixing a number of arguments to a function, producing another function of smaller arity.

大概意思，偏函數會固定一些參數，產生更少參數的函數。

改一下上面的題目：

實現一個sum函數，能夠支持固定一個參數的的調用方式；如

var sum1 = sum(1);

sum1(2) // 3

function sum(base) {
    return (num) => base + num;
}
var sum1 = sum(1);

或者使用bind

function sum(a, b) {
    return a + b;
}
var sum1 = sum.bind(null, 1);

這裏能夠引伸出bind的用法，bind和call的區別，call和apply的區別。就很少贅述了。以前寫過一篇博客bind、apply與call。

高階函數

在數學和計算機科學中，高階函數是至少知足下列一個條件的函數： 接受一個或多個函數做爲輸入 輸出一個函數

wiki連接。

能夠這麼理解，若是能夠接受函數做爲入參和出參的，能夠認爲支持高階函數。JS中，函數是一等公民，各類高階函數隨處可見，很容易寫一個例子：

const print = console.log;
const foo = (a , b, printFn) => a + b;

foo(1, 2, print);

說個題外話，有這樣一道題目：

[1,2,3].map(parseInt)

我感受這個題目有點考api記憶了，不過若是熟練的話也就還好。map是一個高階函數，接受一個函數做爲參數，他會給入參函數傳入兩個值，item和index。parseInt接受兩個參數，數值和進制。也就是執行

parseInt(1, 0);
parseInt(2, 1);
parseInt(3, 2);

答案[1, NaN, NaN]我就很少說了。

柯里化

在計算機科學中，柯里化（英語：Currying），又譯爲卡瑞化或加里化，是把接受多個參數的函數變換成接受一個單一參數（最初函數的第一個參數）的函數，而且返回接受餘下的參數並且返回結果的新函數的技術。

wiki連接。

大概定義一下，能夠認爲curry以後的函數，能夠接受一個參數，以後返回一個接受剩餘參數的函數。

指望能夠這麼執行：

var add = curry((a, b) => a + b);

add(1, 2); // 能夠正常運行
var add1 = add(1);
add1(2); // 也能夠這麼使用

能夠發現，這不就是上面的題目嗎？固然，稍有不一樣的地方在於，這裏是經過curry把一個正常函數curry化。咱們也來實現一個。

function curry (fn) {
    return (...args) => {
       if (args.length === fn.length) {
          return fn.apply(null, args); 
       }
       return fn.bind(null, args[0])
    }
}

很明顯，上面用到了偏函數的實現去作了curry，也能夠不使用bind，在使用別的方法以前，加一些限定條件。

上面的curry簡單處理了一個參數的狀況，咱們但願curry更智能一些，假設函數有10個參數，若是傳了5個，又傳了3個，又傳了2個，只有最後一次纔會返回結果。

// 爲了使用遞歸，寫了一個helper
function helper (fn, ...args) {
    if (args.length === fn.length) {
        return fn.apply(null, args);
    }
    return (...argsMore) => createFn(fn, ...args, ...argsMore);
}

function curry (fn) {
    return (...args) => createFn(fn, ...args);
}

多說一個概念，thunk，阮一峯老師在他的博客裏介紹過Thunk 函數的含義和用法，你們能夠看一下，其實也就是curry的一處用法。

匿名函數

在計算機編程中，匿名函數（英語：anonymous function）是指一類無需定義標識符（函數名）的函數或子程序，廣泛存在於多種編程語言中。

wiki。

匿名函數相對命名函數而言，就是一些一次性使用的場景下，好比一些事件處理函數，可能只執行一次，可使用匿名函數。

這個概念常常用，舉個例子。

[1,2,3].map((item, index) => `item ${index}: ${item}`);

匿名函數的概念很簡單，上面寫的箭頭函數容易考察一些this指向的問題。

好比爲何箭頭函數不能使用new，怎麼作到綁定this的。

這個問題，我打算留到下一篇寫。嘿嘿嘿😝

完。感謝閱讀。