函數(shù)式編程不是用函數(shù)來(lái)編程恋日，旨在將復(fù)雜的函數(shù)符合成簡(jiǎn)單的函數(shù)端壳。
1.函數(shù)是一等公民。所謂”第一等公民”（first class）佑吝，指的是函數(shù) 與其他數(shù)據(jù)類型一樣，處于平等地位鳖擒，可以賦值給其他變量溉浙，也 可以作為參數(shù)，傳入另一個(gè)函數(shù)蒋荚，或者作為別的函數(shù)的返回值戳稽。
2..不可改變量。在函數(shù)式編程中期升，我們通常理解的變量在函數(shù)式 編程中也被函數(shù)代替了：在函數(shù)式編程中變量?jī)H僅代表某個(gè)表達(dá) 式惊奇。這里所說(shuō)的’變量’是不能被修改的。所有的變量只能被賦一次 初值 播赁。
3.map & reduce他們是常用的函數(shù)式編程的方法颂郎。
函數(shù)式編程常用核心概念：
1.純函數(shù)
??對(duì)于相同的輸入，永遠(yuǎn)會(huì)得到相同的輸出容为，而且沒(méi)有任 何可觀察的副作用乓序，也不依賴外部環(huán)境的狀態(tài)。
var x = [1,2,3,4,5,6];
console.log(x.slice(0,3)); //[1,2,3]
console.log(x.slice(0,3)); //[1,2,3]
console.log(x.splice(0,3)); //[1,2,3]
console.log(x.splice(0,3)); //[4,5,6]
對(duì)于上述例子坎背，slice就是一個(gè)純函數(shù)替劈，而splice就不是，因?yàn)閮纱蔚玫降慕Y(jié)果不同得滤。
//不純的
var min = 18;
var checkage = age => age>min;
//純的
var checkage = age => age>18;
上面的例子陨献，不純是因?yàn)橐蕾嚵送獠孔兞縨in。
??但是上面的純函數(shù)有個(gè)問(wèn)題就是18被寫死了耿戚，這樣函數(shù)的擴(kuò)展性就比較差湿故，下面我們用柯里化來(lái)解決這個(gè)問(wèn)題。
2.函數(shù)的柯里化
??柯里化是把接受多個(gè)參數(shù)的函數(shù)變換成接受一個(gè)單一參數(shù)（最初函數(shù)的第一個(gè)參數(shù)）的函數(shù)膜蛔，并且返回接受余下的參數(shù)而且返回結(jié)果的新函數(shù)的技術(shù)坛猪。
對(duì)于前面說(shuō)的問(wèn)題，現(xiàn)用柯里化解決
var checkage = min => (age => age>min);
var checkage18 = checkage(18);
console.log(checkage18(20)); //true
// 上面的函數(shù)等價(jià)于
function checkage(min){
return function(age){
return age>min
}
}
console.log(checkage(18)(20));
??事實(shí)上柯里化是一種“預(yù)加載”函數(shù)的方法皂股，通過(guò)傳遞較少的參數(shù)墅茉， 得到一個(gè)已經(jīng)記住了這些參數(shù)的新函數(shù)，某種意義上講呜呐，這是一種 對(duì)參數(shù)的“緩存”就斤，是一種非常高效的編寫函數(shù)的方法。
3.函數(shù)組合
??純函數(shù)以及如何把它柯里化寫出的洋蔥代碼 h(g(f(x)))蘑辑， 為了解決函數(shù)嵌套的問(wèn)題洋机，我們需要用到“函數(shù)組合”：
const compose = (f,g) => (x =>f(g(x)));
var first = arr => arr[0];
var reverse = arr => arr.reverse();
var last = compose(first,reverse);
console.log(last([1,2,3,4,5])); //5
//第一行代碼等價(jià)于
function compose(f,g){
return function(x){
return f(g(x));
}
}
4.point Free
??point Free把一些對(duì)象自帶的方法轉(zhuǎn)化成純函數(shù)，不要命名轉(zhuǎn)瞬即逝 的中間變量洋魂。
const compose = (f,g) => (x => f(g(x)));
var toUpperCase = word =>word.toUpperCase();
var split = x => (str => str.split(x));
var f = compose(split(''),toUpperCase);
console.log(f("abcd efgh")); // ["A", "B", "C", "D", " ", "E", "F", "G", "H"]
5.聲明式與命令式代碼
?? 命令式代碼的意思就是绷旗，我們通過(guò)編寫一條又一條指令去讓計(jì)算 機(jī)執(zhí)行一些動(dòng)作喜鼓，這其中一般都會(huì)涉及到很多繁雜的細(xì)節(jié)。而聲 明式就要優(yōu)雅很多了衔肢，我們通過(guò)寫表達(dá)式的方式來(lái)聲明我們想干 什么庄岖，而不是通過(guò)一步一步的指示。
//命令式
let ceos= [];
for(var i = 0; i < companies.length; i++){
ceos.push(companies[i].ceo)
}
//聲明式
let ceos = companies.map(c => c.ceo);
?? 函數(shù)式編程的一個(gè)明顯的好處就是這種聲明式的代碼角骤，對(duì) 于無(wú)副作用的純函數(shù)隅忿，我們完全可以不考慮函數(shù)內(nèi)部是如何實(shí) 現(xiàn)的，專注于編寫業(yè)務(wù)代碼邦尊。優(yōu)化代碼時(shí)背桐，目光只需要集中在 這些穩(wěn)定堅(jiān)固的函數(shù)內(nèi)部即可。
?? 相反胳赌，不純的函數(shù)式的代碼會(huì)產(chǎn)生副作用或者依賴外部系 統(tǒng)環(huán)境牢撼，使用它們的時(shí)候總是要考慮這些不干凈的副作用。在 復(fù)雜的系統(tǒng)中疑苫，這對(duì)于程序員的心智來(lái)說(shuō)是極大的負(fù)擔(dān)熏版。
6.惰性求值、惰性函數(shù)
?? 在指令式語(yǔ)言中以下代碼會(huì)按順序執(zhí)行捍掺，由于每個(gè)函數(shù) 都有可能改動(dòng)或者依賴于其外部的狀態(tài)撼短，因此必須順序 執(zhí)行。
??一旦我們接納了函數(shù)式哲學(xué)挺勿，惰性（或延遲）求值這一技術(shù)會(huì)變得非常有趣曲横。在討論并行時(shí)已經(jīng)見(jiàn)過(guò)下面的代碼片斷：
String s1 = somewhatLongOperation1();
String s2 = somewhatLongOperation2();
String s3 = concatenate(s1, s2);
?? 在一個(gè)命令式語(yǔ)言中求值順序是確定的，因?yàn)槊總€(gè)函數(shù)都有可能會(huì)變更或依賴于外部狀態(tài)不瓶，所以就必須有序的執(zhí)行這些函數(shù)：首先是 somewhatLongOperation1禾嫉，然后 somewhatLongOperation2，最后 concatenate蚊丐，在函數(shù)式語(yǔ)言里就不盡然了熙参。
?? 前面提到只要確保沒(méi)有函數(shù)修改或依賴于全局變量，somewhatLongOperation1 和 somewhatLongOperation2 可以被并行執(zhí)行麦备。
?? 假設(shè)我們不想并行運(yùn)行這兩個(gè)函數(shù)孽椰，那是不是就按照字面順序執(zhí)行他們好了呢？答案是否定的凛篙，我們只在其他函數(shù)依賴于 s1 和 s2 時(shí)才需要執(zhí)行這兩個(gè)函數(shù)黍匾。我們甚至在 concatenate 調(diào)用之前都不必執(zhí)行他們——可以把他們的求值延遲到 concatenate 函數(shù)內(nèi)實(shí)際用到他們的位置。
?? 如果用一個(gè)帶有條件分支的函數(shù)替換 concatenate 并且只用了兩個(gè)參數(shù)中的一個(gè)呛梆，另一個(gè)參數(shù)就永遠(yuǎn)沒(méi)有必要被求值锐涯。在 Haskell 語(yǔ)言中，不確保一切都（完全）按順序執(zhí)行填物，因?yàn)?Haskell 只在必要時(shí)才會(huì)對(duì)其求值全庸。
7.高階函數(shù)
?? 函數(shù)當(dāng)參數(shù)秀仲，把傳入的函數(shù)做一個(gè)封裝融痛，然后返回這個(gè)封裝 函數(shù),達(dá)到更高程度的抽象壶笼。
//命令式
var add = function(a,b){
return a+b;
}
function math(func,array){
return func(array[0],array[1]);
}
math(add,[1,2]); //3
8.尾調(diào)用優(yōu)化
??指函數(shù)內(nèi)部的后一個(gè)動(dòng)作是函數(shù)調(diào)用。該調(diào)用的返回值雁刷，直接返回給函數(shù)覆劈。。 函數(shù)調(diào)用自身沛励，稱為遞歸责语。如果尾調(diào)用自身，就稱為尾遞歸目派。遞歸需要保存大 量的調(diào)用記錄坤候，很容易發(fā)生棧溢出錯(cuò)誤，如果使用尾遞歸優(yōu)化企蹭，將遞歸變?yōu)檠?環(huán)白筹，那么只需要保存一個(gè)調(diào)用記錄，這樣就不會(huì)發(fā)生棧溢出錯(cuò)誤了谅摄。
//不是尾遞歸
function sum(n){
if(n===1){
return 1;
}else{
n+sum(n-1);
}
}
其運(yùn)算過(guò)程如下：
sum(5)
(5+sum(4))
(5+(4+sum(3)))
(5+(4+(3+sum(2))))
(5+(4+(3+2+sum(1))))
(5+(4+(3+(2+1))))
(5+(4+(3+3)))
(5+(4+6))
(5+10)
15
//細(xì)數(shù)尾遞歸
function sum(x,total){
if(x === 1){
return x+toal;
}else{
return sum(x-1,x+total);
}
}
其運(yùn)算過(guò)程如下：
sum(5,0)
sum(4,5)
sum(3,9)
sum(2,12)
sum(1,14)
15
??整個(gè)計(jì)算過(guò)程是線性的徒河，調(diào)用一次sum(x, total)后，會(huì)進(jìn)入下一個(gè)棧送漠，相關(guān)的數(shù)據(jù)信息和 跟隨進(jìn)入顽照，不再放在堆棧上保存。當(dāng)計(jì)算完后的值之后闽寡，直接返回到上層的 sum(5,0)代兵。這能有效的防止堆棧溢出。 在ECMAScript 6爷狈，我們將迎來(lái)尾遞歸優(yōu)化植影，通過(guò)尾遞歸優(yōu)化，javascript代碼在解釋成機(jī)器 碼的時(shí)候淆院，將會(huì)向while看起何乎，也就是說(shuō)，同時(shí)擁有數(shù)學(xué)表達(dá)能力和while的效能土辩。
9.閉包
??閉包就是能夠讀取其他函數(shù)內(nèi)部變量的函數(shù)
10.范疇與容器
??我們可以把”范疇”想象成是一個(gè)容器支救，里面包含兩樣?xùn)|西。值 （value）拷淘、值的變形關(guān)系各墨，也就是函數(shù)。
??范疇論使用函數(shù)启涯，表達(dá)范疇之間的關(guān)系
??伴隨著范疇論的發(fā)展贬堵，就發(fā)展出一整套函數(shù)的運(yùn)算方法恃轩。這套方法 起初只用于數(shù)學(xué)運(yùn)算，后來(lái)有人將它在計(jì)算機(jī)上實(shí)現(xiàn)了黎做，就變成了今 天的”函數(shù)式編程"叉跛。
?? 本質(zhì)上，函數(shù)式編程只是范疇論的運(yùn)算方法蒸殿，跟數(shù)理邏輯筷厘、微積分、 行列式是同一類東西宏所，都是數(shù)學(xué)方法酥艳，只是碰巧它能用來(lái)寫程序。為 什么函數(shù)式編程要求函數(shù)必須是純的爬骤，不能有副作用充石？因?yàn)樗且环N 數(shù)學(xué)運(yùn)算，原始目的就是求值霞玄，不做其他事情骤铃，否則就無(wú)法滿足函數(shù) 運(yùn)算法則了。
??函數(shù)不僅可以用于同一個(gè)范疇之中值的轉(zhuǎn)換溃列，還可以用于將 一個(gè)范疇轉(zhuǎn)成另一個(gè)范疇劲厌。這就涉及到了函子（Functor）。
??函子是函數(shù)式編程里面重要的數(shù)據(jù)類型听隐，也是基本的運(yùn)算 單位和功能單位补鼻。它首先是一種范疇，也就是說(shuō)雅任，是一個(gè)容 器风范，包含了值和變形關(guān)系。比較特殊的是沪么，它的變形關(guān)系可 以依次作用于每一個(gè)值硼婿，將當(dāng)前容器變形成另一個(gè)容器
當(dāng)下函數(shù)式編程比較火熱的庫(kù)
RXJS*
cycleJS
lodashJS、lazy*
underscoreJS
ramdaJS*
資料：https://llh911001.gitbooks.io/mostly-adequate-guide-chinese/content/
