摘要：在近期看到了函數(shù)式編程這本書(shū)預(yù)售的時(shí)候就定了下來(lái)。主要目的是個(gè)人目前還是不理解什么是函數(shù)式編程。且和現(xiàn)在在學(xué)習(xí)函數(shù)式編程有莫大的關(guān)系。加速大概了解了函數(shù)式編程之后?？偨Y(jié)看完了第一章也是可以小結(jié)一下的函數(shù)式編程。

  
本文章記錄本人在學(xué)習(xí) 函數(shù)式 中理解到的一些東西，加深記憶和并且整理記錄下來(lái)，方便之后的復(fù)習(xí)。

在近期看到了《JavaScript函數(shù)式編程》這本書(shū)預(yù)售的時(shí)候就定了下來(lái)。主要目的是個(gè)人目前還是不理解什么是函數(shù)式編程。在自己學(xué)習(xí)的過(guò)程中一直聽(tīng)到身邊的人說(shuō)面向過(guò)程編程和面向?qū)ο缶幊?，而函?shù)式就非常少。為了自己不要落后于其他同學(xué)的腳步，故想以寫(xiě)筆記的方式去分享和記錄自己閱讀中所汲取的知識(shí)。

書(shū)中用了一句簡(jiǎn)單的話來(lái)回答了什么是函數(shù)式編程：

  
函數(shù)式編程通過(guò)使用函數(shù)來(lái)將值轉(zhuǎn)換為抽象單元，接著用于構(gòu)建軟件系統(tǒng)。

我覺(jué)得一定有同學(xué)看了這一句還是不怎么動(dòng)什么是函數(shù)式編程，且為什么要使用函數(shù)式編程。后面的很多例子都使用到了Underscore。

抽象方法是指隱藏了細(xì)節(jié)的函數(shù)。舉一個(gè)書(shū)中的例子，一個(gè)檢測(cè)輸出年齡值的函數(shù)（主要是關(guān)于錯(cuò)誤和警告的報(bào)告）：

function parseAge(age) {
    if (!_.isString(age))
        throw new Error("Expecting a string");
    var a;
    console.log("Attempting to parse an age");

    a = parseInt(age, 10);
    if (_.isNaN(a)) {
        console.log(["Could not parse age: "].join());
        a = 0;
    }

    return a;
}

上面的函數(shù)判斷我們是不是輸入一個(gè)年齡，且必須是字符串形式。接著就是來(lái)運(yùn)行這個(gè)函數(shù)：

parseAge("42"); //=> 42
parseAge(42); //=> Error:Expecting a string
parseAge("hhhh"); //=> 0

上面的parseAge函數(shù)工作正常沒(méi)有什么問(wèn)題。如果我們要修改輸出錯(cuò)誤=信息和警告的呈現(xiàn)方式、那么就需要修改相應(yīng)的代碼行，以及其他地方的輸出模式。書(shū)中給的方法是通過(guò)將它們抽象成不同的函數(shù)來(lái)實(shí)現(xiàn)：

function fail(thing) {
    throw new Error(thing);
}

function warn(thing) {
    console.log(["WARNING:", thing].join(""));
}

function note(thing) {
    console.log(["NOTE:", thing].join(""));
}

接著就是使用上面的函數(shù)，去重構(gòu)parseAge這個(gè)函數(shù)。

funciton parseAge(age) {
    if (!_.isString(age))
        fail("Expecting a string");
    var a;

    note("Attempting to parse an age");
    a = parseInt(age, 10);

    if (_.isNaN(a)) {
        warn(["Could not parse age:", age].join(""));
        a = 0;
    }

    return a;
}

把報(bào)告錯(cuò)誤的代碼都放到不同的函數(shù)里去，且重構(gòu)后的parseAge和之前的也沒(méi)有多大的變化。但是不同的就是現(xiàn)在報(bào)告錯(cuò)誤、信息和警告的想法已經(jīng)被抽象化。錯(cuò)誤、信息和警告的報(bào)告結(jié)果也是完全被修改了。

這么做是，由于行為包含在單一的函數(shù)中，所以函數(shù)可以被能夠提供類似行為的新函數(shù)取代，或直接被完全不同的行為取代。

這個(gè)標(biāo)題很容易理解，舉個(gè)例子。像我們經(jīng)常使用iife來(lái)避免全局的污染，這就是一個(gè)封裝和隱蔽的很好例子。通過(guò)使用iife來(lái)隱蔽自己的寫(xiě)的一些變量和方法，目的就是不去污染全局的環(huán)境。這也是使用閉包的方式來(lái)隱蔽數(shù)據(jù)。

因?yàn)殚]包也是一種函數(shù)。且和現(xiàn)在在學(xué)習(xí)函數(shù)式編程有莫大的關(guān)系。但是也不要忘記了之前學(xué)習(xí)的面向?qū)ο笫椒庋b，畢竟這兩者不能說(shuō)誰(shuí)更加的好。但是都掌握了也不是一件什么壞事。一句老話：看需求。

隱藏?cái)?shù)據(jù)和行為（通常不方便于快速修改）只是一種講函數(shù)作為抽象單元的方式。另一種方式就是提供一種簡(jiǎn)單地存儲(chǔ)方式和傳遞基本行為的離線散單元。

書(shū)中一個(gè)小栗子，通過(guò)使用js語(yǔ)法來(lái)索引數(shù)組中的一個(gè)值：

var arr = ["a", "b", "c"];
arr[1] //=> b

雖然上面索引數(shù)組中的中的一個(gè)值很簡(jiǎn)單，但并沒(méi)有辦法可以在不把它放到函數(shù)里的前提下，獲取這個(gè)行為并根據(jù)需要來(lái)使用他/她。寫(xiě)一個(gè)簡(jiǎn)單函數(shù)nth，用來(lái)索引數(shù)組中的一個(gè)值：

function nth(a, index) {
    return a[index];
}

接著運(yùn)行：

nth(arr, 1); //=> b

運(yùn)行成功，但是如果傳入一個(gè)空對(duì)象時(shí)，就會(huì)報(bào)錯(cuò)了。因此，如果想圍繞nth來(lái)實(shí)現(xiàn)函數(shù)抽象，我們或許會(huì)設(shè)計(jì)下面的聲明：nth返回一個(gè)存儲(chǔ)在允許索引訪問(wèn)的數(shù)據(jù)類型中的有效袁術(shù)。這段聲明的關(guān)鍵在于索引數(shù)據(jù)的類型的概念?；蛟S需要一個(gè)函數(shù)來(lái)判斷類型：

function isIndexed(data) {
    return _.isArray(data) || _.isString(data);
}

接著繼續(xù)完善nth函數(shù)。isIndexed函數(shù)是一個(gè)提供了判斷某個(gè)數(shù)據(jù)是否為字符串或者數(shù)組的抽象。

function nth(a, index) {
    if (!_.isNumber(index)) 
        fail("Expected a number as the index");
    if (!isIndexed(a))
        fail("Not supported on non-indexed type");
    if ((index < 0) || (index > a.length - 1))
        fail("Index value is out of bounds");

    return a[index];
}

從index抽對(duì)象構(gòu)建nth函數(shù)抽象的方式一樣，也可以以同樣的方式來(lái)構(gòu)建一個(gè)second抽象：

function second(a) {
    return nth(a, 1);
}

函數(shù)second允許在一個(gè)不同但相關(guān)的情況下，正確的使用nth函數(shù)：

second(arr); //=> b

通過(guò)上面的栗子，就知道。我們可以把每一步都抽象成一個(gè)函數(shù)，把每一個(gè)參數(shù)都抽象出來(lái)。雖然這樣寫(xiě)感覺(jué)定義了許多函數(shù)。不過(guò)這樣更加容易理解每一項(xiàng)的功能和流程。

  
JavaScript 的對(duì)象原型模型是一個(gè)豐富且基礎(chǔ)的數(shù)據(jù)方案。

因?yàn)?b>js沒(méi)有類的原因，就有了許多模擬類的方法，且在ES6上也出現(xiàn)了class關(guān)鍵字。盡管類有許多長(zhǎng)處，但很多的時(shí)候js應(yīng)用程序的數(shù)據(jù)需求幣類中的簡(jiǎn)單的要多。

  
基于類的對(duì)象系統(tǒng)的一個(gè)有理的論據(jù)是實(shí)現(xiàn)用戶界面的歷史使用。

js中的對(duì)象和數(shù)組已經(jīng)能夠滿足我們對(duì)數(shù)據(jù)的操作了，且Underscore也是重點(diǎn)也是如何處理數(shù)組和對(duì)象。

實(shí)施和使用的簡(jiǎn)易性是使用js的核心數(shù)據(jù)結(jié)構(gòu)進(jìn)行數(shù)據(jù)建模的目的。這并不是說(shuō)面向?qū)ο蠡蛘呋陬惖姆椒ň屯耆珱](méi)有用。處理集合為中心的函數(shù)式方式更加適合處理與人有關(guān)的數(shù)據(jù)，而面向?qū)ο蟮姆椒ㄗ钸m合模擬人。

在開(kāi)始函數(shù)式編程前，需要先定義兩個(gè)常用且有用的函數(shù)：

function existy(x) {
    return x != null
}

function truthy(x) {
    return (x !== false) && existy(x);
}

existy函數(shù)旨在定義事物之前的存在。js中就有兩個(gè)值可以表示不存在：null和undefined。

truthy函數(shù)用來(lái)判斷一個(gè)對(duì)象是否應(yīng)該認(rèn)為是true的同義詞。

我們可以在很多地方使用到這兩個(gè)函數(shù)，其實(shí)函數(shù)式理念來(lái)自于它們的使用。有些同學(xué)可能已經(jīng)熟悉了許多js實(shí)現(xiàn)中的map forEach等方法。且Underscroe也提供了許多類似的方法，這也許就是選擇Underscroe來(lái)輔助學(xué)習(xí)函數(shù)式編程的原因。

簡(jiǎn)單說(shuō)下就是：

一個(gè)對(duì)”存在“的抽象函數(shù)的定義。

一個(gè)建立在存在函數(shù)之上的，對(duì)”真“的抽象函數(shù)定義。

通過(guò)其他函數(shù)來(lái)使用上面的兩個(gè)函數(shù)，以實(shí)現(xiàn)更多的行為。

大概了解了函數(shù)式編程之后。你可能會(huì)想這函數(shù)式編程不是很慢嗎？比如前面獲取數(shù)組索引，有必要定義一個(gè)函數(shù)來(lái)專門(mén)獲取嗎？直接用arr[index]絕對(duì)比那些函數(shù)來(lái)的快。

var arr = [1, 2, 3, 4, 5];

// 最快
for (var i = 0; i < arr.length; i++) {
    console.log(arr[i]);
}

// 較慢
_.each(arr, function (val, index) {
    console.log(index);
});

但是我們?cè)趯?xiě)代碼的時(shí)候可能不會(huì)考慮的那么深，也許使用函數(shù)的確比原生要慢一些。但是大多數(shù)情況下也不會(huì)去在乎那么點(diǎn)時(shí)間，且現(xiàn)在有強(qiáng)大的v8引擎，大部分情況下的他都能很高效的編譯和執(zhí)行我們的js代碼。所以我們沒(méi)有必要在還沒(méi)有寫(xiě)出正確的代碼前考慮運(yùn)算速度。

如果是我來(lái)選擇的話，可能會(huì)更加關(guān)注與代碼的風(fēng)格。那種寫(xiě)法寫(xiě)的舒服看的舒服就使用哪一種，當(dāng)然也是要保證基本的運(yùn)算速度下，以不至于慢的離譜。看的舒服的代碼比跑的快的代碼可能更加有成就感。

看完了第一章也是可以小結(jié)一下js的函數(shù)式編程。下面引用書(shū)上的總結(jié)：

確定抽象，并為其構(gòu)建函數(shù)。

利用已有的函數(shù)來(lái)構(gòu)建更加復(fù)雜的抽象。

通過(guò)將現(xiàn)有的函數(shù)傳給其他的函數(shù)來(lái)構(gòu)建更加復(fù)雜的抽象。

單是構(gòu)建抽象還是不夠的，如果能夠把強(qiáng)大的數(shù)據(jù)抽象結(jié)合來(lái)實(shí)現(xiàn)函數(shù)式編程效果會(huì)更加好。