http://www.ruanyifeng.com/blog/2012/04/functional_programming.html

誕生50多年之后，函數(shù)式編程（functional programming）開始獲得越來越多的關注鲸阻。
不僅最古老的函數(shù)式語言Lisp重獲青春跋涣，而且新的函數(shù)式語言層出不窮缨睡，比如Erlang、clojure陈辱、Scala换淆、F#等等掀淘。目前最當紅的Python绿贞、Ruby废登、Javascript，對函數(shù)式編程的支持都很強利赋，就連老牌的面向?qū)ο蟮腏ava水评、面向過程的PHP，都忙不迭地加入對匿名函數(shù)的支持媚送。越來越多的跡象表明中燥，函數(shù)式編程已經(jīng)不再是學術界的最愛，開始大踏步地在業(yè)界投入實用塘偎。
也許繼"面向?qū)ο缶幊?之后疗涉，"函數(shù)式編程"會成為下一個編程的主流范式（paradigm）。未來的程序員恐怕或多或少都必須懂一點吟秩。

　　(1 + 2) * 3 - 4

傳統(tǒng)的過程式編程，可能這樣寫：

　　var a = 1 + 2;
　　var b = a * 3;
　　var c = b - 4;

函數(shù)式編程要求使用函數(shù)互订，我們可以把運算過程定義為不同的函數(shù)吱肌，然后寫成下面這樣：

　　var result = subtract(multiply(add(1,2), 3), 4);

這就是函數(shù)式編程。
二仰禽、特點
函數(shù)式編程具有五個鮮明的特點氮墨。
1. 函數(shù)是"第一等公民"
所謂"第一等公民"（first class），指的是函數(shù)與其他數(shù)據(jù)類型一樣吐葵，處于平等地位规揪，可以賦值給其他變量，也可以作為參數(shù)温峭，傳入另一個函數(shù)猛铅，或者作為別的函數(shù)的返回值。
舉例來說凤藏，下面代碼中的print變量就是一個函數(shù)奕坟，可以作為另一個函數(shù)的參數(shù)。

　　var print = function(i){ console.log(i);};　　
      [1,2,3].forEach(print);

2. 只用"表達式"清笨，不用"語句"
"表達式"（expression）是一個單純的運算過程月杉，總是有返回值；"語句"（statement）是執(zhí)行某種操作抠艾，沒有返回值苛萎。函數(shù)式編程要求，只使用表達式检号，不使用語句腌歉。也就是說，每一步都是單純的運算齐苛，而且都有返回值翘盖。
原因是函數(shù)式編程的開發(fā)動機，一開始就是為了處理運算（computation）凹蜂，不考慮系統(tǒng)的讀寫（I/O）馍驯。"語句"屬于對系統(tǒng)的讀寫操作，所以就被排斥在外玛痊。
當然汰瘫，實際應用中，不做I/O是不可能的擂煞。因此混弥，編程過程中，函數(shù)式編程只要求把I/O限制到最小对省，不要有不必要的讀寫行為蝗拿，保持計算過程的單純性晾捏。
3. 沒有"副作用"
所謂"副作用"（side effect），指的是函數(shù)內(nèi)部與外部互動（最典型的情況哀托，就是修改全局變量的值）粟瞬，產(chǎn)生運算以外的其他結果。
函數(shù)式編程強調(diào)沒有"副作用"萤捆，意味著函數(shù)要保持獨立裙品，所有功能就是返回一個新的值，沒有其他行為俗或，尤其是不得修改外部變量的值市怎。
4. 不修改狀態(tài)
上一點已經(jīng)提到，函數(shù)式編程只是返回新的值辛慰，不修改系統(tǒng)變量区匠。因此，不修改變量帅腌，也是它的一個重要特點驰弄。
在其他類型的語言中，變量往往用來保存"狀態(tài)"（state）速客。不修改變量戚篙，意味著狀態(tài)不能保存在變量中。函數(shù)式編程使用參數(shù)保存狀態(tài)溺职，最好的例子就是遞歸岔擂。下面的代碼是一個將字符串逆序排列的函數(shù)，它演示了不同的參數(shù)如何決定了運算所處的"狀態(tài)"浪耘。

　　function reverse(string) {
　　　　if(string.length == 0) {
　　　　　　return string;
　　　　} else {
　　　　　　return reverse(string.substring(1, string.length)) + string.substring(0, 1);
　　　　}
　　}

由于使用了遞歸乱灵，函數(shù)式語言的運行速度比較慢，這是它長期不能在業(yè)界推廣的主要原因七冲。
5. 引用透明
引用透明（Referential transparency）痛倚，指的是函數(shù)的運行不依賴于外部變量或"狀態(tài)"，只依賴于輸入的參數(shù)澜躺，任何時候只要參數(shù)相同蝉稳，引用函數(shù)所得到的返回值總是相同的。
有了前面的第三點和第四點苗踪，這點是很顯然的颠区。其他類型的語言，函數(shù)的返回值往往與系統(tǒng)狀態(tài)有關通铲，不同的狀態(tài)之下，返回值是不一樣的器贩。這就叫"引用不透明"颅夺，很不利于觀察和理解程序的行為朋截。
三、意義
函數(shù)式編程到底有什么好處吧黄，為什么會變得越來越流行部服？
1. 代碼簡潔，開發(fā)快速
函數(shù)式編程大量使用函數(shù)拗慨，減少了代碼的重復廓八，因此程序比較短，開發(fā)速度較快赵抢。
Paul Graham在《黑客與畫家》一書中寫道：同樣功能的程序剧蹂，極端情況下，Lisp代碼的長度可能是C代碼的二十分之一烦却。
如果程序員每天所寫的代碼行數(shù)基本相同宠叼，這就意味著，"C語言需要一年時間完成開發(fā)某個功能其爵，Lisp語言只需要不到三星期冒冬。反過來說，如果某個新功能摩渺，Lisp語言完成開發(fā)需要三個月简烤，C語言需要寫五年。"當然摇幻，這樣的對比故意夸大了差異乐埠，但是"在一個高度競爭的市場中，即使開發(fā)速度只相差兩三倍囚企，也足以使得你永遠處在落后的位置丈咐。"
2. 接近自然語言，易于理解
函數(shù)式編程的自由度很高龙宏，可以寫出很接近自然語言的代碼棵逊。
前文曾經(jīng)將表達式(1 + 2) * 3 - 4，寫成函數(shù)式語言：

　　subtract(multiply(add(1,2), 3), 4)

對它進行變形银酗，不難得到另一種寫法：

　　add(1,2).multiply(3).subtract(4)

這基本就是自然語言的表達了辆影。再看下面的代碼，大家應該一眼就能明白它的意思吧：

　　merge([1,2],[3,4]).sort().search("2")

因此黍特，函數(shù)式編程的代碼更容易理解蛙讥。
3. 更方便的代碼管理
函數(shù)式編程不依賴、也不會改變外界的狀態(tài)灭衷，只要給定輸入?yún)?shù)次慢，返回的結果必定相同。因此，每一個函數(shù)都可以被看做獨立單元迫像，很有利于進行單元測試（unit testing）和除錯（debugging）劈愚，以及模塊化組合。
4. 易于"并發(fā)編程"
函數(shù)式編程不需要考慮"死鎖"（deadlock）闻妓，因為它不修改變量菌羽，所以根本不存在"鎖"線程的問題。不必擔心一個線程的數(shù)據(jù)由缆，被另一個線程修改注祖，所以可以很放心地把工作分攤到多個線程，部署"并發(fā)編程"（concurrency）均唉。
請看下面的代碼：

　　var s1 = Op1();
　　var s2 = Op2();
　　var s3 = concat(s1, s2);

由于s1和s2互不干擾是晨，不會修改變量，誰先執(zhí)行是無所謂的浸卦，所以可以放心地增加線程署鸡，把它們分配在兩個線程上完成。其他類型的語言就做不到這一點限嫌，因為s1可能會修改系統(tǒng)狀態(tài)靴庆，而s2可能會用到這些狀態(tài)，所以必須保證s2在s1之后運行怒医，自然也就不能部署到其他線程上了炉抒。
多核CPU是將來的潮流，所以函數(shù)式編程的這個特性非常重要稚叹。
5. 代碼的熱升級
函數(shù)式編程沒有副作用焰薄，只要保證接口不變，內(nèi)部實現(xiàn)是外部無關的扒袖。所以塞茅，可以在運行狀態(tài)下直接升級代碼，不需要重啟季率，也不需要停機野瘦。Erlang語言早就證明了這一點，它是瑞典愛立信公司為了管理電話系統(tǒng)而開發(fā)的飒泻，電話系統(tǒng)的升級當然是不能停機的鞭光。