本文經(jīng) Yaphi Berhanu、Vildan Softic、Jani Hartikainen 和 Dan Prince 審核。感謝所有 SitePoint 的同行評(píng)審員，使 SitePoint 內(nèi)容達(dá)到最佳狀態(tài)!

JavaScript 的魅力之一在于其函數(shù)式編程特性。從一開始，函數(shù)就是 JavaScript 世界中的一等公民。這使得編寫優(yōu)雅且富有表現(xiàn)力的代碼成為可能，這些代碼可以以多種方式輕松組合在一起。然而，僅僅具備進(jìn)行函數(shù)式編程的能力并不能自動(dòng)實(shí)現(xiàn)函數(shù)式編程。Ramda.js 是一個(gè)非常流行的庫(kù)（在 GitHub 上擁有超過(guò) 4k 星），我們可以使用它來(lái)幫助我們開始使用 JavaScript 進(jìn)行函數(shù)式編程。

要點(diǎn)

• Ramda.js 通過(guò)確保函數(shù)不改變其輸入數(shù)據(jù)來(lái)增強(qiáng) JavaScript 的函數(shù)式編程能力，從而提高可預(yù)測(cè)性和易于測(cè)試性。
• Ramda.js 的主要特性包括函數(shù)的自動(dòng)柯里化和對(duì)不變性的強(qiáng)烈強(qiáng)調(diào)，這使得更容易構(gòu)建沒有副作用的函數(shù)式管道。
• 該庫(kù)適用于前端和 Node.js 環(huán)境，可以與其他 JavaScript 庫(kù)或框架無(wú)縫集成。
• Ramda.js 提供了諸如 R.map、R.prop 和 R.curry 之類的實(shí)用方法和函數(shù)，簡(jiǎn)化了數(shù)據(jù)結(jié)構(gòu)的操作，并增強(qiáng)了代碼的可讀性和可維護(hù)性。
• 盡管 Ramda.js 具有諸多優(yōu)點(diǎn)，但它并非萬(wàn)能的解決方案；開發(fā)人員在決定是否使用它時(shí)，應(yīng)該考慮具體的項(xiàng)目需求和團(tuán)隊(duì)對(duì)函數(shù)式編程的熟悉程度。

入門

為了充分利用 Ramda.js，我們應(yīng)該通過(guò)創(chuàng)建一個(gè)小型 Node.js 項(xiàng)目來(lái)熟悉它的優(yōu)點(diǎn)。我們可以通過(guò) Node 包管理器 (npm) 簡(jiǎn)單地安裝它。

npm install ramda

通常，我們將簡(jiǎn)單地將庫(kù)的功能導(dǎo)入到命名空間 R 中。這樣，對(duì) Ramda 方法的所有調(diào)用都將具有 R. 前綴。

var R = require('ramda');

當(dāng)然，沒有什么可以阻止我們?cè)谇岸舜a中使用 Ramda.js。在瀏覽器中，我們只需要包含指向庫(kù)副本的正確路徑即可。這可能與以下 HTML 代碼片段一樣簡(jiǎn)單。

<??>

Ramda.js 不使用任何 DOM 或 Node.js 特定的特性。它只是一個(gè)語(yǔ)言庫(kù)/擴(kuò)展，并且建立在 JavaScript 運(yùn)行時(shí)（如 ECMAScript 5 中標(biāo)準(zhǔn)化的那樣）已經(jīng)公開的結(jié)構(gòu)和算法之上。準(zhǔn)備深入研究嗎？讓我們看看一些功能的實(shí)際應(yīng)用！

概念

函數(shù)式編程中最重要的概念是純函數(shù)的概念。純函數(shù)是冪等的，不會(huì)改變?nèi)魏螤顟B(tài)。從數(shù)學(xué)角度來(lái)看，這很有意義，因?yàn)橄?sin(x) 這樣的函數(shù)似乎非常自然，并且不依賴于任何外部狀態(tài)。除了純函數(shù)之外，我們還希望擁有單參數(shù)函數(shù)。它們是最原始的。零參數(shù)函數(shù)通常表示將更改外部狀態(tài)，因此不是純函數(shù)。但在像 JavaScript 這樣的語(yǔ)言中，我們通常會(huì)有多個(gè)參數(shù)的函數(shù)。

柯里化

具有高階函數(shù)（即可以將函數(shù)作為輸入并發(fā)出函數(shù)作為輸出的函數(shù)）的能力與閉包（捕獲局部變量）相結(jié)合，為我們提供了一種很好的方法：柯里化?？吕锘且粋€(gè)過(guò)程，其中一個(gè)具有多個(gè)（假設(shè)為 n 個(gè)）參數(shù)的函數(shù)被轉(zhuǎn)換為一個(gè)具有單個(gè)參數(shù)的函數(shù)，該函數(shù)返回另一個(gè)具有單個(gè)參數(shù)的函數(shù)。這將持續(xù)進(jìn)行，直到收集所有必需的參數(shù)。假設(shè)我們想使用 Ramda.js 輔助函數(shù)來(lái)編寫一個(gè)單參數(shù)包裝器，該包裝器測(cè)試其參數(shù)是否為字符串。以下代碼將完成這項(xiàng)工作。

npm install ramda

使用柯里化可以更容易地做到這一點(diǎn)。由于 R.is 是 Ramda.js 的一部分，因此如果我們提供的參數(shù)少于函數(shù)所需要的參數(shù)，該庫(kù)將自動(dòng)返回一個(gè)柯里化函數(shù)：

var R = require('ramda');

這更具表現(xiàn)力。由于我們使用單個(gè)參數(shù)調(diào)用了 R.is，因此我們得到了一個(gè)函數(shù)。在第二次調(diào)用（記住，原始函數(shù)調(diào)用需要兩個(gè)參數(shù)）中，我們獲得了結(jié)果。但是，如果我們一開始沒有使用 Ramda.js 的輔助函數(shù)呢？讓我們假設(shè)我們已經(jīng)在代碼中的某個(gè)地方定義了以下函數(shù)：

<??>

這是完整的二階多項(xiàng)式。它有四個(gè)參數(shù)，允許所有可能的值。但是通常，我們只想為一組固定的參數(shù) a、b 和 c 更改 x。讓我們看看如何使用 Ramda.js 來(lái)轉(zhuǎn)換它：

function isString (test) {
    return R.is(String, test);
}

var result = isString('foo'); //=> true

同樣，我們能夠簡(jiǎn)單地使用參數(shù)求值來(lái)為特定子集創(chuàng)建別名。例如，方程 x - 1 可以通過(guò)以下方式獲得：

var isString = R.is(String);
var result = isString('foo'); //=> true

在參數(shù)數(shù)量不是由我們函數(shù)的參數(shù)給定的情況下，我們需要使用 curryN 并顯式指定參數(shù)數(shù)量。柯里化是 Ramda.js 的核心，但如果沒有更多內(nèi)容，該庫(kù)似乎就不那么有趣了。函數(shù)式編程中另一個(gè)重要的概念是不變性。

不變結(jié)構(gòu)

防止函數(shù)更改狀態(tài)的最簡(jiǎn)單方法是只使用不能更改的數(shù)據(jù)結(jié)構(gòu)。對(duì)于簡(jiǎn)單的對(duì)象，我們需要只讀訪問(wèn)器，例如：

var quadratic = (a, b, c, x) => x * x * a + x * b + c;
quadratic(1, 0, 0, 2); //=> 4
quadratic(1, 0, 0)(2); //=> TypeError: quadratic(..) is not a function

是不允許的。除了聲明只讀屬性外，我們還可以將它們轉(zhuǎn)換為 getter 函數(shù)：

var quadratic = R.curry((a, b, c, x) => x * x * a + x * b + c);
quadratic(1, 0, 0, 2); //=> 4
quadratic(1, 0, 0)(2); //=> 4

現(xiàn)在這已經(jīng)好多了，但是，對(duì)象仍然可以更改。這意味著有人可以添加 getX 函數(shù)的自定義定義，例如：

npm install ramda

實(shí)現(xiàn)不變性的最佳方法是使用 Object.freeze。結(jié)合 const 關(guān)鍵字，我們可以引入一個(gè)不能更改的不變變量。

var R = require('ramda');

另一個(gè)例子涉及列表。將元素添加到不可變列表需要復(fù)制原始列表并將新元素添加到末尾。當(dāng)然，我們也可以使用原始對(duì)象的不變性知識(shí)來(lái)優(yōu)化實(shí)現(xiàn)。這樣，我們可以用簡(jiǎn)單的引用替換副本。本質(zhì)上，這可能會(huì)變成一種鏈表。我們應(yīng)該意識(shí)到，標(biāo)準(zhǔn) JavaScript 數(shù)組是可變的，因此需要復(fù)制以確保正確性。諸如 append() 之類的方法在 JavaScript 數(shù)組上工作并返回此類數(shù)組。該操作是冪等的；如果我們多次使用相同的參數(shù)調(diào)用該函數(shù)，我們將始終獲得相同的結(jié)果。

<??>

還有一個(gè) remove 方法，它返回給定數(shù)組，但不包含指定的條目。它的工作原理如下：

function isString (test) {
    return R.is(String, test);
}

var result = isString('foo'); //=> true

由于它具有靈活的參數(shù)數(shù)量，因此我們需要前面提到的 curryN 函數(shù)來(lái)應(yīng)用柯里化。還有一些有用的通用輔助函數(shù)可用。

實(shí)用方法

所有輔助函數(shù)最重要的概念是參數(shù)是有序的以方便柯里化。參數(shù)越頻繁地被更改，它就越不可能位于其他參數(shù)之前。

sum() 和 range()

Ramda.js 中當(dāng)然可以找到通常的函數(shù)，例如 sum 和 range：

var isString = R.is(String);
var result = isString('foo'); //=> true

對(duì)于 range() 輔助函數(shù)，我們可以使用柯里化創(chuàng)建一個(gè)包裝器：

var quadratic = (a, b, c, x) => x * x * a + x * b + c;
quadratic(1, 0, 0, 2); //=> 4
quadratic(1, 0, 0)(2); //=> TypeError: quadratic(..) is not a function

如果我們想用固定的（獨(dú)占）最大值來(lái)包裝它呢？Ramda.js 通過(guò)使用由 R.__ 表示的特殊參數(shù)來(lái)滿足我們的需求：

var quadratic = R.curry((a, b, c, x) => x * x * a + x * b + c);
quadratic(1, 0, 0, 2); //=> 4
quadratic(1, 0, 0)(2); //=> 4

map()

此外，Ramda.js 嘗試使用“更好”的解決方案來(lái)提供 JavaScript 核心函數(shù)（例如 Array.prototype.map）的替代方案。“更好”的解決方案具有不同的參數(shù)順序和開箱即用的柯里化。對(duì)于 map 函數(shù)，如下所示：

var xOffset = quadratic(0, 1, -1);
xOffset(0); //=> -1
xOffset(1); //=> 0

prop()

另一個(gè)有用的實(shí)用程序是 prop 函數(shù)，它嘗試獲取指定屬性的值。如果給定的屬性不存在，則返回 undefined。如果值確實(shí)是 undefined，這可能會(huì)模棱兩可，但在實(shí)踐中我們很少會(huì)關(guān)心。

var position = {
    x: 5,
    y: 9
};
position.x = 10; // works!

zipWith()

如果前面介紹的方法沒有讓你相信 Ramda.js 可能提供一些有用的東西，那么接下來(lái)的方法可能更有趣。這次我們不會(huì)討論一個(gè)具體的例子，而是看看任意選擇的場(chǎng)景。假設(shè)我們有兩個(gè)列表，我們想將它們連接起來(lái)。使用 zip 函數(shù)實(shí)際上非常簡(jiǎn)單。但是，通常的結(jié)果（元素?cái)?shù)組，它們本身是雙值數(shù)組）可能不是我們想要的結(jié)果。這就是 zipWith 函數(shù)發(fā)揮作用的地方。它使用任意函數(shù)將值映射到單個(gè)值。

var position = (function (x, y) {
    return {
        getX: () => { return x; },
        getY: () => { return y; }
    };
})(5, 9);
position.getX() = 10; // does not work!

類似地，我們可以為向量引入點(diǎn)積：

npm install ramda

我們通過(guò)乘法壓縮兩個(gè)數(shù)組（產(chǎn)生 [1, 4, 9]），并將結(jié)果傳遞給 sum 函數(shù)。無(wú)論如何，使用可枚舉對(duì)象是重要的主題。Ramda.js 提供了許多有用的輔助函數(shù)也就不足為奇了。我們已經(jīng)介紹了 R.map 來(lái)將函數(shù)應(yīng)用于每個(gè)元素。類似地，有一些輔助函數(shù)可以減少元素的數(shù)量?？梢酝ㄟ^(guò)最通用的 filter 函數(shù)（產(chǎn)生另一個(gè)數(shù)組）或通過(guò) reduce 函數(shù)產(chǎn)生單個(gè)值。

chain()

對(duì)數(shù)組的操作帶有一些有用的輔助函數(shù)。例如，使用 chain，我們可以輕松合并數(shù)組。假設(shè)我們有一個(gè)函數(shù) primeFactorization，它使用數(shù)字作為輸入并給出帶有素?cái)?shù)因子的數(shù)組作為輸出，我們可以將應(yīng)用該函數(shù)的結(jié)果與一組數(shù)字組合如下：

var R = require('ramda');

一個(gè)實(shí)際的例子

到目前為止，一切都很順利?，F(xiàn)在最大的問(wèn)題是：通過(guò)使用 Ramda.js 引入的這些概念，我們?cè)谌粘９ぷ髦杏心男┖锰?？讓我們假設(shè)我們有以下（已經(jīng)非常好看的）代碼片段。

<??>

如何使用 Ramda.js 使其更具可讀性？好吧，第一行已經(jīng)足夠好了。第二行已經(jīng)很混亂了。我們真正想要的是提取提供的參數(shù)的 posts 屬性。最后，我們有一個(gè)有點(diǎn)混亂的第三行。在這里，我們嘗試迭代所有帖子（由參數(shù)提供）。同樣，它的唯一目的是提取特定屬性。以下解決方案如何？

function isString (test) {
    return R.is(String, test);
}

var result = isString('foo'); //=> true

由于 Ramda.js 賦能的函數(shù)式編程，這可能是關(guān)于可讀性的最佳解決方案。但是，我們應(yīng)該注意，ECMAScript 6 中引入的“胖箭頭”語(yǔ)法也導(dǎo)致了非常簡(jiǎn)潔、易讀的代碼：

var isString = R.is(String);
var result = isString('foo'); //=> true

這幾乎同樣易于閱讀，無(wú)需任何 Ramda.js 知識(shí)。此外，我們減少了抽象的數(shù)量——這只會(huì)對(duì)性能和可維護(hù)性有利。

透鏡

最后，我們還應(yīng)該討論有用的對(duì)象輔助函數(shù)。這里值得一提的是 lens 函數(shù)。透鏡是一個(gè)特殊的對(duì)象，可以與對(duì)象或數(shù)組一起傳遞給某些 Ramda.js 函數(shù)。它允許這些函數(shù)分別從對(duì)象或數(shù)組的特定屬性或索引檢索或轉(zhuǎn)換數(shù)據(jù)。假設(shè)我們有一個(gè)具有兩個(gè)鍵 x 和 y 的對(duì)象——就像文章開頭給出的不變性示例一樣。與其將對(duì)象包裝在另一個(gè)具有 getter 和 setter 方法的對(duì)象中，我們可以創(chuàng)建一個(gè)透鏡來(lái)“關(guān)注”感興趣的屬性。要?jiǎng)?chuàng)建一個(gè)訪問(wèn)對(duì)象的 x 屬性的透鏡，我們可以執(zhí)行以下操作：

var quadratic = (a, b, c, x) => x * x * a + x * b + c;
quadratic(1, 0, 0, 2); //=> 4
quadratic(1, 0, 0)(2); //=> TypeError: quadratic(..) is not a function

雖然 prop 是一個(gè)標(biāo)準(zhǔn)的 getter（這已經(jīng)介紹過(guò)了），但 assoc 是一個(gè) setter 函數(shù)（三個(gè)值語(yǔ)法：鍵、值、對(duì)象）?，F(xiàn)在我們可以使用 Ramda.js 中的函數(shù)來(lái)訪問(wèn)此透鏡定義的屬性。

npm install ramda

請(qǐng)注意，該操作不會(huì)觸及給定的 position 對(duì)象（無(wú)論我們是否凍結(jié)它）。應(yīng)該注意的是，set 只是 over 的一個(gè)特例，它類似但采用函數(shù)而不是任意值。然后將使用該函數(shù)來(lái)轉(zhuǎn)換值。例如，以下調(diào)用將 x 坐標(biāo)乘以 3：

var R = require('ramda');

Ramda.js、lodash 或其他？

一個(gè)合理的問(wèn)題當(dāng)然是為什么選擇 Ramda.js——為什么我們不使用 lodash 或其他東西呢？當(dāng)然，有人可能會(huì)爭(zhēng)辯說(shuō) Ramda.js 更新，因此必須更好，但這與事實(shí)相去甚遠(yuǎn)。事實(shí)是，Ramda.js 是考慮到函數(shù)式原則而構(gòu)建的——在參數(shù)放置和選擇方面采用了新的方法（對(duì)于 JavaScript 庫(kù)）。例如，Ramda.js 中的列表迭代器默認(rèn)只傳遞項(xiàng)目，而不是列表。另一方面，其他庫(kù)（如 lodash）的標(biāo)準(zhǔn)是將項(xiàng)目和索引傳遞給回調(diào)函數(shù)。這似乎是一個(gè)細(xì)微的問(wèn)題，但它阻止你使用方便的內(nèi)置函數(shù)，如 parseInt()（它帶有一個(gè)可選的第二個(gè)參數(shù)），而使用 Ramda.js，這可以很好地工作。最終，選擇什么取決于具體的要求或團(tuán)隊(duì)的經(jīng)驗(yàn)和/或知識(shí)，但肯定有一些很好的理由讓 Ramda.js 受到應(yīng)有的關(guān)注。

進(jìn)一步閱讀

• 高階函數(shù)
• 為什么柯里化有幫助
• 不變性
• 為什么選擇 Ramda？
• Ramda 文檔
• 使用 Ramda.js 進(jìn)行函數(shù)式編程

結(jié)論

函數(shù)式編程不應(yīng)被視為靈丹妙藥。相反，它應(yīng)該被視為我們現(xiàn)有工具箱的一個(gè)自然補(bǔ)充，它為我們提供了更高的可組合性、更大的靈活性和更高的容錯(cuò)性/魯棒性?，F(xiàn)代 JavaScript 庫(kù)已經(jīng)嘗試采用一些函數(shù)式概念來(lái)利用這些優(yōu)勢(shì)。Ramda.js 是一個(gè)強(qiáng)大的工具，可以擴(kuò)展你自己的函數(shù)式實(shí)用程序庫(kù)。你對(duì)函數(shù)式編程的看法是什么？你認(rèn)為它在哪些方面表現(xiàn)出色？請(qǐng)?jiān)谠u(píng)論中告訴我！

關(guān)于使用 Ramda 進(jìn)行函數(shù)式編程的常見問(wèn)題解答 (FAQs)

使用 Ramda 進(jìn)行函數(shù)式編程的主要優(yōu)勢(shì)是什么？

Ramda 是一個(gè)針對(duì) JavaScript 程序員的實(shí)用函數(shù)式庫(kù)。它專為函數(shù)式編程風(fēng)格而設(shè)計(jì)，這使得創(chuàng)建函數(shù)式管道更容易，并且永遠(yuǎn)不會(huì)改變用戶數(shù)據(jù)。使用 Ramda 的主要優(yōu)勢(shì)在于它強(qiáng)調(diào)不變性和無(wú)副作用函數(shù)。這意味著函數(shù)不會(huì)改變其輸入數(shù)據(jù)，使你的代碼更易于預(yù)測(cè)和測(cè)試。Ramda 的函數(shù)是自動(dòng)柯里化的，這使你可以輕松地從舊函數(shù)構(gòu)建新函數(shù)，而不會(huì)迷失在一堆括號(hào)或回調(diào)地獄中。

Ramda 與其他 JavaScript 庫(kù)有何不同？

與其他 JavaScript 庫(kù)不同，Ramda 旨在支持函數(shù)式編程并且不會(huì)改變數(shù)據(jù)。它提供了一組默認(rèn)情況下是柯里化的實(shí)用函數(shù)，這意味著它們旨在一起使用以創(chuàng)建新函數(shù)。這與 Underscore 或 Lodash 等庫(kù)有很大不同，這些庫(kù)默認(rèn)情況下不是柯里化的，并且通常需要你編寫額外的代碼才能獲得相同的結(jié)果。Ramda 的 API 也更一致且更易于使用，重點(diǎn)是簡(jiǎn)單性和可讀性。

我可以將 Ramda 與其他 JavaScript 庫(kù)或框架一起使用嗎？

是的，Ramda 可以與其他 JavaScript 庫(kù)和框架一起使用。它是一個(gè)獨(dú)立的庫(kù)，不依賴于任何其他庫(kù)或框架，并且不會(huì)修改 JavaScript 對(duì)象原型。這使得它可以安全地與其他庫(kù)或框架一起使用，而無(wú)需擔(dān)心沖突或意外副作用。無(wú)論你使用的是 jQuery、React、Angular、Vue 還是任何其他庫(kù)或框架，你都可以使用 Ramda 來(lái)幫助編寫更簡(jiǎn)潔、更函數(shù)式的代碼。

Ramda 適用于函數(shù)式編程初學(xué)者嗎？

Ramda 是函數(shù)式編程新手的一個(gè)很棒的工具。它的 API 設(shè)計(jì)簡(jiǎn)單直觀，命名約定清晰一致。文檔也非常詳盡，有很多示例可以幫助你入門。但是，像任何新的工具或范例一樣，都存在學(xué)習(xí)曲線?？赡苄枰恍r(shí)間才能習(xí)慣函數(shù)式思維，并理解如何有效地使用 Ramda 的函數(shù)。但是，隨著練習(xí)，你會(huì)發(fā)現(xiàn)它可以極大地簡(jiǎn)化你的代碼，并使代碼更容易理解。

Ramda 如何處理 null 和 undefined 值？

Ramda 將 null 和 undefined 值視為空值，類似于其他函數(shù)式編程語(yǔ)言如何處理它們。這意味著你可以安全地將 null 或 undefined 傳遞給 Ramda 的函數(shù)，而不會(huì)導(dǎo)致錯(cuò)誤或異常。但是，在將 null 或 undefined 值傳遞給函數(shù)之前，始終檢查它們是一個(gè)好主意，以避免意外行為。

我可以在 Node.js 環(huán)境中使用 Ramda 嗎？

是的，Ramda 可用于 Node.js 環(huán)境。它是一個(gè)通用的庫(kù)，可在瀏覽器和 Node.js 中使用。你可以通過(guò) npm 安裝它，并在你的 Node.js 模塊中像其他任何包一樣需要它。

Ramda 如何處理異步操作？

Ramda 沒有內(nèi)置的異步操作支持，因?yàn)樗饕且粋€(gè)同步庫(kù)。但是，你可以將其與支持異步操作的其他庫(kù)（如 Promises 或 async/await）一起使用。你也可以在異步函數(shù)或 then 回調(diào)中使用 Ramda 的函數(shù)。

如何為 Ramda 項(xiàng)目做出貢獻(xiàn)？

Ramda 是一個(gè)開源項(xiàng)目，歡迎隨時(shí)貢獻(xiàn)。你可以通過(guò)報(bào)告錯(cuò)誤、建議新功能、改進(jìn)文檔或提交拉取請(qǐng)求來(lái)做出貢獻(xiàn)。在貢獻(xiàn)之前，最好閱讀 Ramda GitHub 頁(yè)面上的貢獻(xiàn)指南。

Ramda 是否仍在維護(hù)和更新？

是的，Ramda 正在積極維護(hù)并定期更新。維護(hù)人員致力于使庫(kù)保持最新狀態(tài)并解決出現(xiàn)的任何問(wèn)題或錯(cuò)誤。你可以查看 GitHub 頁(yè)面以獲取最新的更新和版本。

我可以將 Ramda 用于商業(yè)項(xiàng)目嗎？

是的，Ramda 采用 MIT 許可證授權(quán)，這意味著你可以將其用于商業(yè)項(xiàng)目。但是，始終閱讀完整的許可協(xié)議以了解你的權(quán)利和責(zé)任是一個(gè)好主意。

以上是與ramda.js的實(shí)踐功能編程的詳細(xì)內(nèi)容。更多信息請(qǐng)關(guān)注PHP中文網(wǎng)其他相關(guān)文章！