javascript之典型高階函數

緣由

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

幾個函數

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

function filter(arr,callback){
    var i,out=[];
    for(i=0;i<arr.length;i++){
        if(callback(arr[i]))
            out.push(arr[i]);
    }
    return out;
}

再加一個簡單的測試：

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

結果：

2,4,6,8,10

map：接受一個集合Xs，一個函數f，然后把Xs集合中每一個元素按照順序使用f映射，並返回集合f x₁, f x₂, f x₃ ... f x_n。實現如下：

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

測試一下：

var arr = [1,2,3,4,5,6,7,8,9,10];
var addTen = function(item){
    return item + 10;
};
var mapAdded = map(arr,addTen);
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)))。下面是實現：

function fold(arr,callback,b){
    var i,x;
    if(b) x=b,i=0;
    else x=arr[0],i=1;
    for(;i<arr.length;i++)
        x=callback(arr[i],x);
    return x;
}

測試：

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 語言有具有循環語句。如果沒有循環語句呢？留給下一次探索吧。