本文是從 Can Your Programming Language Do This? 這篇文章翻譯而來。

　　一日，你查看你的程序代碼，你有兩大塊代碼看起來幾乎完全的一樣。事實(shí)上它們就是完全一樣，除了一個代碼里說的是“Spaghetti(意大利面條)”，另一個代碼里說的是“Chocolate Moose(巧克力慕絲)”。

//一個小例子：
alert("I'd like some Spaghetti!");
alert("I'd like some Chocolate Moose!");

　　這個例子恰好是用Javascript寫的，但即使是你不懂Javascript，你也應(yīng)該能看懂我說的。

　　當(dāng)然，重復(fù)的代碼看起來不太好。所以你決定寫一個函數(shù)：

function SwedishChef( food ) { alert("I'd like some "+ food +"!"); } SwedishChef("Spaghetti");
SwedishChef("Chocolate Moose");

　　沒錯，這個例子很簡單，但你可以想出一些更有實(shí)際價值的例子。這樣做是更好一些，有很多理由，這些理由估計你都聽說過一萬遍了?？删S護(hù)性，可讀性，抽象 = 好！

　　現(xiàn)在，你又發(fā)現(xiàn)兩塊代碼幾乎完全一樣，除了一塊是不停的調(diào)用一個叫BoomBoom的函數(shù)，而一塊是不停的調(diào)用一個叫PutInPot的函數(shù)。除此之外，這兩塊代碼完全一樣。

alert("get the lobster");
PutInPot("lobster");
PutInPot("water");
alert("get the chicken");
BoomBoom("chicken");
BoomBoom("coconut");

　　現(xiàn)在，你需要一個途徑，把一個參數(shù)傳遞到一個函數(shù)里，而這個參數(shù)本身是個函數(shù)。這是一個很重要的功能，它是一個好的方法，能讓你發(fā)現(xiàn)函數(shù)中存在的重復(fù)的代碼，減少這樣的重復(fù)。

function Cook( i1, i2, f ) { alert("get the "+ i1); f(i1); f(i2); } Cook("lobster"，"water"， PutInPot );
Cook("chicken"，"coconut"， BoomBoom );

　　看見了沒！我們把一個函數(shù)當(dāng)做了參數(shù)。

　　你的語言能這樣做嗎？

　　且慢…如果你還沒有寫出PutInPot 或 BoomBoom 函數(shù)呢。如果你能把他們寫成內(nèi)聯(lián)函數(shù)，而不是要在其它地方先聲明，這樣是不是更好？

Cook("lobster"， "water"， function(x){ alert("pot "+x); } );
Cook("chicken"， "coconut"， function(x){ alert("boom "+x); });

　　老天，這太方便了。注意到了沒有，我即時創(chuàng)建了一個方法，甚至都不用麻煩給它起名，只需掂著它的耳朵把它丟進(jìn)函數(shù)里。

　　當(dāng)你開始思考把匿名函數(shù)當(dāng)作參數(shù)時，你也許會注意到有一種代碼到處都是，就是，遍歷數(shù)組里的所有元素進(jìn)行操作。

var a = [1,2,3];
for (i=0; i<a.length; i++) { a[i] = a[i] * 2; }
for (i=0; i<a.length; i++) { alert(a[i]); }

　　對數(shù)組里的每個元素進(jìn)行操作是一種很常見的動作，你可以寫出一個函數(shù)，讓它為你做這些：

function map(fn, a) {
for (i = 0; i < a.length; i++) {
a[i] = fn(a[i]); }
}

　　現(xiàn)在，你可以把上面的代碼重寫成這樣：

map( function(x){return x*2;}， a );
map( alert, a );

　　另一個常見的跟數(shù)組相關(guān)的操作是，通過某種方式把數(shù)組里的所有值組合到一起。

function sum(a) { var s = 0; for (i = 0; i < a.length; i++) s += a[i]; return s; } function join(a) { var s = ""; for (i = 0; i < a.length; i++) s += a[i]; return s; } alert(sum([1,2,3]));
alert(join(["a"，"b"，"c"]));

　　sum 和 join 看起來非常的相似，你也許會想把它們的通用之處提取出來做成一個能把數(shù)組里的元素合并成一個值的通用函數(shù)：

function reduce(fn, a, init) {
var s = init;
for (i = 0; i < a.length; i++) s = fn( s, a[i] );
return s;
}
function sum(a) { return reduce( function(a, b){ return a + b; }， a, 0 ); } function join(a) { return reduce( function(a, b){ return a + b; }， a,""); }

　　很多老式的語言根本沒有方法做出這種事情。另外一些語言允許你做這些，但不容易(例如，C語言里有函數(shù)指針，但你必須進(jìn)行聲明，并要在什么地方定義它)。面向?qū)ο蟮恼Z言并沒有被證實(shí)可以允許你對函數(shù)做所有的操作。

　　如果你想在Java里把函數(shù)作為一個一等(First Class)對象，你需要建一個只包含一個用來調(diào)用功能點(diǎn)的方法的整個對象。把這種現(xiàn)象跟實(shí)際情況聯(lián)系起來，很多的面向?qū)ο笳Z言都會要求你為每個class創(chuàng)建一個完整的文件，非常的沒效率。如果你的編程語言里要求你去這樣的調(diào)用功能點(diǎn)，那你根本沒有享受到現(xiàn)代語言環(huán)境給你帶來的所有好處?？纯茨芊裢素洶?，挽回一點(diǎn)損失。

　　寫這樣的小函數(shù)，只是做一些遍歷數(shù)組，處理其中的每個元素的操作，這樣做究竟能得到多少好處？

　　那好，我們來回頭看一看map這個函數(shù)。當(dāng)你需要對數(shù)組里的每個元素依次做一些操作時，實(shí)際情況是，你并不在乎處理這些元素的順序。你可以向前或向后遍歷整個數(shù)組，得到的結(jié)果是一樣的，不是嗎？事實(shí)上，如果你的機(jī)器是2cpu的，你可以寫出一些程序讓每個cpu個處理一半的元素，你的map一下子就變快了2倍。

　　或者，只是個假設(shè)，在你遍布全球的數(shù)個數(shù)據(jù)中心里，你有成千上萬的服務(wù)器，你有一個非常非常大的數(shù)組，我說過，只是假設(shè)，它們裝載著整個互聯(lián)網(wǎng)的內(nèi)容信息。那現(xiàn)在，你就可以在你的成千上萬的計算機(jī)上運(yùn)行map函數(shù)，每個機(jī)器都能分?jǐn)偟粲嬎阒械囊恍〔糠秩蝿?wù)。

　　所以，如今，舉個例子，要想寫出一個十分高效的能搜索整個互聯(lián)網(wǎng)內(nèi)容信息的代碼，你只需要簡單的用基本搜索字符串當(dāng)作參數(shù)來調(diào)用map函數(shù)就行了。

　　這里，我想請你們要真正注意的有趣的事情是，你會發(fā)現(xiàn)像map和reduce這樣的函數(shù)每個人都可以使用，當(dāng)人們使用它時，你只需要找到一個編程能手寫出最困難的調(diào)用map和reduce函數(shù)的代碼，讓它們能夠運(yùn)行在全球大量的并行執(zhí)行的計算機(jī)上，而以前舊的運(yùn)行的很好的代碼只需要調(diào)用這個循環(huán)操作，唯一不同的是，它們獲得了比以前千萬倍快的速度，這意味著你能做瞬間處理完巨大的計算工作。

　　讓我再復(fù)述一遍。通過把通用的循環(huán)操作提取出來，你可以實(shí)現(xiàn)你想要的任何循環(huán)操作，包括實(shí)現(xiàn)出一種能隨硬件設(shè)備的增加而性能升級的效果。

　　我想現(xiàn)在你就該明白為什么我在前段時間寫的一篇文章里抱怨學(xué)校只教授計算機(jī)科學(xué)專業(yè)的學(xué)生Java知識而忽略其它：

缺乏對函數(shù)式編程的理解，你不可能發(fā)明出MapReduce——這個能夠讓Google實(shí)現(xiàn)大規(guī)模按需擴(kuò)展和升級的算法。Map和Reduce這兩個詞來自于Lisp語言和函數(shù)式編程?；厥卓磥?，MapReduce對于任何還存有記憶的人來說都意味著一種純函數(shù)式的編程，沒有副作用，易于并行計算。事實(shí)恰巧是Google發(fā)明了MapReduce，而微軟沒有，這就說明了為什么微軟仍然努力做那些基本的搜索功能研究的原因了，而Google已經(jīng)開始了它的下一個目標(biāo)：開發(fā)它的SkyNET^H^H^H^H^H^H——這世界上最大規(guī)模的并行超級計算機(jī)。我并不覺得微軟已經(jīng)認(rèn)識到在如今的潮流中它已經(jīng)落后的多遠(yuǎn)。

　　那么，我希望現(xiàn)在你已經(jīng)能理解了以函數(shù)為一等(First class)特征編程語言能使你更容易的對代碼進(jìn)行提煉抽象，這意味著你的代碼更短小，緊湊，可復(fù)用性強(qiáng)，更容易擴(kuò)展升級。大量的Google應(yīng)用程序都使用了MapReduce，在他們優(yōu)化程序或修改Bug時，都能從中得到益處。

　　現(xiàn)在我要說一點(diǎn)怨言牢騷，最高效的語言開發(fā)環(huán)境應(yīng)該是一種能讓你在不同層次上進(jìn)行抽象歸納的語言環(huán)境。笨拙陳舊的FORTRAN語言甚至不允許你寫函數(shù)。C語言里有函數(shù)指針，但實(shí)現(xiàn)的很丑陋，不能匿名，使用之前必須先進(jìn)行聲明實(shí)現(xiàn)。Java允許你使用功能點(diǎn)調(diào)用(functor)，但更加丑陋。就像Steve Yegge指出的，Java就是一個名詞的王國。

it知識庫：你的編程語言能這樣做嗎？，轉(zhuǎn)載需保留來源！

鄭重聲明：本文版權(quán)歸原作者所有，轉(zhuǎn)載文章僅為傳播更多信息之目的，如作者信息標(biāo)記有誤，請第一時間聯(lián)系我們修改或刪除，多謝。