摘要：我的目的是確保所有引用的使用都是絕對(duì)安全的，編譯器會(huì)自動(dòng)進(jìn)行檢查。它導(dǎo)致了數(shù)不清的錯(cuò)誤漏洞和系統(tǒng)崩潰，可能在之后年中造成了十億美元的損失。這個(gè)函數(shù)將使用一個(gè)表示我們希望進(jìn)行轉(zhuǎn)換的函數(shù)參數(shù)，并返回一個(gè)包含轉(zhuǎn)換結(jié)果的新參數(shù)。

翻譯原文出處：Building a Maybe in JavaScript
 鄙人翻譯略差且略有出入，別見笑。

很多時(shí)候我們會(huì)碰到：Uncaught TypeError: Cannot read property "x" of undefined（無法讀取未定義的屬性“x”）。
我猜，如果你正好看到這個(gè)你以前不單只碰過還歷歷在目的東西，可能有那么一刻想把顯示器給砸了。
這里想起了我們尊敬的計(jì)算機(jī)領(lǐng)域的爵士——托尼·霍爾；他在Infoq辦的大會(huì)演講時(shí)，用到的主題是：“Null References: The Billion Dollar Mistake”（Null 引用：一個(gè)十億美元級(jí)別的錯(cuò)誤），講演摘要中這樣寫的：
“我把Null引用稱為自己的十億美元錯(cuò)誤。它的發(fā)明是在1965年，那時(shí)我用一個(gè)面向?qū)ο笳Z言( ALGOL W )設(shè)計(jì)了第一個(gè)全面的引用類型系統(tǒng)。我的目的是確保所有引用的使用都是絕對(duì)安全的，編譯器會(huì)自動(dòng)進(jìn)行檢查。但是我未能抵御住誘惑，加入了Null引用，僅僅是因?yàn)閷?shí)現(xiàn)起來非常容易。它導(dǎo)致了數(shù)不清的錯(cuò)誤、漏洞和系統(tǒng)崩潰，可能在之后40年中造成了十億美元的損失。近年來，大家開始使用各種程序分析程序，比如微軟的PREfix和PREfast來檢查引用，如果存在為非Null的風(fēng)險(xiǎn)時(shí)就提出警告。更新的程序設(shè)計(jì)語言比如Spec#已經(jīng)引入了非Null引用的聲明。這正是我在1965年拒絕的解決方案。”

幸運(yùn)的是，我們可以使用一些功能性的編程技術(shù)，以清潔、簡(jiǎn)潔和可靠的方式緩解這帶來疼痛。讓我們想象一下，我們要從下面的對(duì)象中提取屬性“c”的值，并附加字符串“is great”。

const a = {
    b: {
        c: "fp"
    }
};

我們使用的簡(jiǎn)單方法可能是：

const appendString = (obj) =>
    obj.b.c + " is great";
    
appendString(a);

這樣的寫法很棒，但可悲的是a對(duì)象并非是一成不變的。因此，我們收回的數(shù)據(jù)有時(shí)會(huì)采取到以下的形式：

const a = {
    b: {}
};

// or

const a = {};

當(dāng)這個(gè)時(shí)候我們調(diào)用了appendString函數(shù)時(shí)，整個(gè)宇宙將會(huì)爆炸的...

這個(gè)時(shí)候可能要我們對(duì)函數(shù)的傳參進(jìn)行空檢查：

const appendString = (obj) => {
    if (!obj || !obj.b || !obj.b.c || !) return null;
    return obj.b.c + " is great";
}

這是有效的，但它看起來很丑陋和很容易出錯(cuò)。我們必須對(duì)傳參進(jìn)行每種類型的對(duì)象定義特定的（正確的）空檢查，這是不是很有趣（復(fù)雜）。
哈哈哈，這個(gè)時(shí)候可能Maybe就派得上場(chǎng)了。

基本上，我們都會(huì)將要構(gòu)建的對(duì)象封裝其值可能為null的概念，并且考慮到隨之而來的復(fù)雜性。在學(xué)習(xí)Elm(一門專注于Web前端的純函數(shù)式語言)之后，我會(huì)在Maybe上的封裝了兩個(gè)概念狀態(tài)Maybe.just和Maybe.nothing。對(duì)于初學(xué)者，我們簡(jiǎn)單地定義一個(gè)返回一個(gè)布爾值的isNothing方法，告訴我們Maybe是否不包含任何內(nèi)容：

const isNullOrUndef = (value) => value === null || typeof value === "undefined";

const maybe = (value) => ({
    isNothing: () => isNullOrUndef(value)
});

甚至使用一個(gè)簡(jiǎn)單的工廠函數(shù)來創(chuàng)建我們的Maybe - 考慮到往后可能會(huì)添加更多的方法，我們將使用一個(gè)對(duì)象來定義它：

const Maybe = {
    just: maybe,
    nothing: () => maybe(null)
};

所以現(xiàn)在我們可以這樣做：

const maybeNumberOne = Maybe.just("a value");
const maybeNumberTwo = Maybe.nothing();

maybeNumberOne.isNothing(); // false
maybeNumberTwo.isNothing(); // true

一切都很好，但到目前為止還不是很實(shí)用。編程是關(guān)于轉(zhuǎn)換數(shù)據(jù)的，所以我們需要一種改變我們的Maybe的方法 - 一個(gè)map函數(shù)。這個(gè)map函數(shù)將使用一個(gè)表示我們希望進(jìn)行轉(zhuǎn)換的函數(shù)參數(shù)，并返回一個(gè)包含轉(zhuǎn)換結(jié)果的新參數(shù)。重要的是，如果maybe不包含任何內(nèi)容，那么該函數(shù)將不會(huì)被應(yīng)用，我們將返回一個(gè)新的maybe.nothing方法。

const maybe = (value) => ({
    isNothing: () => isNullOrUndef(value),
    map: (transformer) => !isNullOrUndef(value) ? Maybe.just(transformer(value)) : Maybe.nothing()
});

現(xiàn)在我們可以這樣來調(diào)用maybe實(shí)現(xiàn)：

const maybeOne = Maybe.just(5);
maybeOne.map(x => x + 1); // Maybe.just(6);

const maybeTwo = Maybe.nothing();
maybeTwo.map(x => x + 1) // Maybe.nothing();

關(guān)鍵一點(diǎn)的是maybe.map返回一個(gè)新的maybe，所以我們可以將這些操作鏈接在一起?；氐轿覀儸F(xiàn)在可以做的最初的問題：

const a = {
    b: {
        c: "fp"
    }
};

const maybeA = Maybe.just(a)
    .map(a => a.b)
    .map(b => b.c)
    .map(c => c + " is great!");

這里的好處是，如果鏈中的任何步驟返回null，我們?nèi)匀粫?huì)得到結(jié)果Maybe.nothing的結(jié)果，而不是運(yùn)行時(shí)錯(cuò)誤。

好了，在Github上面有個(gè)maybe.js庫: A Maybe monad implementation in JavaScript:

它比Haskell的實(shí)現(xiàn)更加靈活，而且還附帶了一些額外的功能，考慮到
JavaScript的類型系統(tǒng)限制和語言的一般靈活性。

如果你看過我以前發(fā)布的文章柯里化函數(shù)，那么你就會(huì)想我們可以弄得比這更好。我們可以創(chuàng)建從對(duì)象中提取命名屬性的高階函數(shù)，以及用于追加字符串：

const prop = (propName) => (obj) => obj[propName];
const append = (appendee) => (appendix) = appendee + appendix;

這里可以參考知乎上的JavaScript函數(shù)式編程（一）里面的知識(shí)點(diǎn)。

所以現(xiàn)在我們可以在我們的map鏈?zhǔn)街惺褂眠@個(gè)功能：

const a = {
    b: {
        c: "fp"
    }
};

const maybeA = Maybe.just(a)
    .map(prop("b"))
    .map(prop("c"))
    .map(append(" is great!"));

好了，我們現(xiàn)在終于到了這一步， 我們已經(jīng)處理了空檢查，并將其重構(gòu)為point-free形式。接下來需要做的就是使邏輯可重用性；我們想要的是能夠?qū)⑽覀兊墓δ軅鬟f給一個(gè)功能，并應(yīng)用所有步驟，以便我們可以在許多不同的Maybe上重新使用提取器：

   const extractor = // what we"re about to make
    extractor(Maybe.just(a)); // Maybe.just("fp is great")

我們需要的是一個(gè)需要我們的步驟的函數(shù)，并且每個(gè)步驟依次調(diào)用我們Maybe.map方法。我們將調(diào)用函數(shù)Maybe.chain，我們可以用reducer來實(shí)現(xiàn)：

const Maybe = {
    just: maybe,
    nothing: () => maybe(null),
    chain: (...fns) => (input) => fns.reduce((output, curr) => output.map(curr), input)
};

我們現(xiàn)在可以構(gòu)建一個(gè)可以應(yīng)用于maybe的可用功能：

const appendToC = Maybe.chain(
    prop("b"),
    prop("c"),
    append(" is great!")
);

并將其用于各種輸入：

const goodInput = Maybe.just({
    b: {
        c: "fp"
    }
});

const badInput = Maybe.just({});

appendToC(goodInput); // Maybe.just("fp is great!")
appendToC(badInput); // Maybe.nothing()

雖然我在學(xué)習(xí)Elm之前不習(xí)慣Maybe的價(jià)值觀概念，但是他們?cè)贘avaScript中不想落后啊。如果我們簡(jiǎn)簡(jiǎn)單單地去使用它，就只會(huì)使用到基礎(chǔ)方法而已，所以我們要在它的基礎(chǔ)上添加更多的功能函數(shù)。所以我將在稍后閱讀關(guān)于使用Maybe的后續(xù)文章。

：：完畢：：

Elm入門實(shí)踐（一）——基礎(chǔ)篇

函數(shù)式編程入門教程

JavaScript函數(shù)式編程（一）

JavaScript函數(shù)式編程（二）

JavaScript函數(shù)式編程（三）

函數(shù)式JavaScript（2）：如何打造“函數(shù)式”編程語言？

A Maybe monad implementation in JavaScript

Functional Programming in Javascript