javascript之典型高階函數

緣由

　　雖然以前也使用過javascript語言，但終究是為了配合後端寫的一些零零散散的“程式碼片段”，更不能說是javascript項目了。很榮幸的是上個月剛到公司正好碰上項目開始推倒重寫，我們team從頭開始做架構和實現，目的很清楚，為了改進和超越前面的版本。這是個真正意義上的javascript“項目”，當然服務端不是我們team來負責啦。這也是我真正開始全職使用javascript來編程。由於之前在學校對形式化方法這門課程比較感興趣，而javascript又是函數式語言，因此我想把更多functional的東西用javascript來表現一下。

幾個函數

　　這幾個方法均為javascript 1.6 數組新增的方法。是很典型的functional 函數，當然也非常實用。下面是functional的定義並不來自javascript。
filter：接受一個集合Xs（X表示類型,s表示集合），一個謂詞，這個謂詞是從X到bool的映射（函數）。然後過慮這個集合，並返回謂詞為true的元素組成的集合。下面是簡單的實現：

1 function filter(arr,callback){2     var i,out=[];3     for(i=0;i<arr.length;i++){4         if(callback(arr[i]))5             out.push(arr[i]);6     }7     return out;8 }

再加一個簡單的測試：

1 var arr = [1,2,3,4,5,6,7,8,9,10];2 var even = function(item){3     if(typeof item !== "number") return false;4     return !(item & 1);5 };6 var filtered = filter(arr,even);7 console.log(filtered);

結果：

2,4,6,8,10

map：接受一個集合Xs，一個函數f，然後把Xs集合中每一個元素按照順序使用f映射，並返回集合f x1, f x2, f x3 ... f xn。實現如下：

1 function map(arr,callback){2     var i,l= arr && arr.length || 0,out = new Array(l);3     for(i=0;i<l;i++)4         out[i]=callback(arr[i]);5     return out;6 }

測試一下：

1 var arr = [1,2,3,4,5,6,7,8,9,10];2 var addTen = function(item){3     return item + 10;4 };5 var mapAdded = map(arr,addTen);6 console.log(mapAdded);

結果：

11,12,13,14,15,16,17,18,19,20

另外還有forEach，every和some三個函數在javascript 1.6中出現。但在使用過程中感覺還是缺少一個有力的函數，它就是摺疊函數(fold)。正所謂map-reduce，有了map而沒有"reduce"豈不是很掃興？下面就來看看這個”reduce“。

Reduce的實現

　　上面說的reduce其實也就是摺疊函數(fold)。它接受一個Xs集合，一個二元操作符f。然後將f插入到集合中的每兩個相鄰元素之間。舉個例子，fold plus [1,2,3,4] 意即 1+2+3+4。為了更加精確，通常需要一個”起始元素“作為f最開始時的第二個參數。例如 fold plus [1,2,3,4] 意即 (1+(2+(3+(4+0)))。下面是實現：

1 function fold(arr,callback,b){2     var i,x;3     if(b) x=b,i=0;4     else x=arr[0],i=1;5     for(;i<arr.length;i++)6         x=callback(arr[i],x);7     return x;8 }

測試：

var arr = [1,2,3,4,5,6,7,8,9,10];var plus = function(a,b){    return a+b;};var foldPlus = fold(arr,plus,0);console.log(foldPlus);

結果：

55

這個函數在ECMAScript 5中名字就叫reduce，而函數式裡面通常稱做fold而已，這是很形象的名字。

總結

　　其實上面在實現這些functional函數的時候編寫風格並不是函數式的，因為javascript 語言有具有迴圈語句。如果沒有迴圈語句呢？留給下一次探索吧。