【個(gè)人向】20180916 - Read AND Think

邱勇發(fā)布于2019-08-23 12:00 / 2666人閱讀

摘要：可移植性可移植性可以意味著把函數(shù)序列化并通過發(fā)送。同樣，程序投入運(yùn)行后，最終用戶在遇到問題時(shí)可以重新啟用斷言。最后一個(gè)并行代碼，就是說可以并行運(yùn)行任意純函數(shù)。因他們不需要訪問共享的內(nèi)存，也不會(huì)因副作用而進(jìn)入競(jìng)爭(zhēng)狀態(tài)。

前言

因?yàn)橄霃浹a(bǔ)一下自己對(duì)一些函數(shù)式編程的了解和體會(huì)，所以特意找了一些資料來閱讀～以下的感想是來自于這本書噠：

《JS 函數(shù)式編程指南》 
作者： Franklin Risby for his great work!
地址：https://legacy.gitbook.com/bo...

什么是純函數(shù)

純函數(shù)就是保證輸入和對(duì)應(yīng)的輸出是相同的函數(shù)，也就類似于我們課本中學(xué)的函數(shù)的概念！一個(gè)x永遠(yuǎn)只對(duì)應(yīng)一個(gè)y值。

比如，js中存在的會(huì)改變?cè)瓟?shù)組的一些數(shù)組操作函數(shù)，這些就是不純的。
主要是有共享的變量和成員，比如全局變量之類的。

純的好處

可緩存性（Cacheable）

可移植性／自文檔化（Portable / Self-Documenting）

可測(cè)試性（Testable）

合理性（Reasonable）

并行代碼

對(duì)于可緩存性，有下面這段“通用”的代碼，提取一次（即計(jì)算）就緩存一次，后面取的時(shí)候就不用重新計(jì)算了：

var memoize = function(f) {
  var cache = {};

  return function() {
    var arg_str = JSON.stringify(arguments);
    cache[arg_str] = cache[arg_str] || f.apply(f, arguments);
    return cache[arg_str];
  };
};

而如果函數(shù)是不純的話，我們并不能靠輸入的值來提取出唯一對(duì)應(yīng)的結(jié)果，因?yàn)樗赡苡卸喾N情況。

可移植性

可移植性可以意味著把函數(shù)序列化（serializing）并通過 socket 發(fā)送。也可以意味著代碼能夠在 web workers
中運(yùn)行。總之，可移植性是一個(gè)非常強(qiáng)大的特性。

自文檔化是說把需要的數(shù)據(jù)都寫在參數(shù)里，不寫成比如對(duì)象的形式，因?yàn)閷?duì)象的屬性可以在外面被修改所以可能會(huì)造成不一樣的結(jié)果。
而把參數(shù)都列出來，這樣使用者也知道它需要什么數(shù)據(jù)，也就是像有文檔一樣告訴你。

可測(cè)試性
我們很多情況下都是要測(cè)試某一個(gè)函數(shù)或者某一個(gè)部分，如果這個(gè)函數(shù)依賴一些全局的東西，我們?cè)谠O(shè)置斷點(diǎn)的時(shí)候涵蓋的范圍就會(huì)很大，所以這樣會(huì)影響我們的測(cè)試。而純函數(shù)可以讓我們只專注于這一個(gè)函數(shù)。

斷言：表示為一些布爾表達(dá)式，程序員相信在程序中的某個(gè)特定點(diǎn)該表達(dá)式值為真，可以在任何時(shí)候啟用和禁用斷言驗(yàn)證，因此可以在測(cè)試時(shí)啟用斷言而在部署時(shí)禁用斷言。同樣，程序投入運(yùn)行后，最終用戶在遇到問題時(shí)可以重新啟用斷言。

合理性

如果一段代碼可以替換成它執(zhí)行所得的結(jié)果，而且是在不改變整個(gè)程序行為的前提下替換的，那么我們就說這段代碼是引用透明的。
我們可以使用一種叫做“等式推導(dǎo)”（equational
reasoning）的技術(shù)來分析代碼。所謂“等式推導(dǎo)”就是“一對(duì)一”替換，有點(diǎn)像在不考慮程序性執(zhí)行的怪異行為（quirks of
programmatic evaluation）的情況下，手動(dòng)執(zhí)行相關(guān)代碼。

最后一個(gè)并行代碼，就是說可以并行運(yùn)行任意純函數(shù)。因他們不需要訪問共享的內(nèi)存，也不會(huì)因副作用而進(jìn)入競(jìng)爭(zhēng)狀態(tài)。