高阶函数作为函数式编程众多风格中的一项显著特征，经常被使用。实际上，高阶函数即对函数的进一步抽象。高阶函数至少满足下列条件之一：
❑接受函数作为输入。
❑输出一个函数。
在函数式语言中，函数不但是一种特殊的对象，还是一种类型，因此函数本身是一个可以传来传去的值。也就是说，某个函数在刚开始执行的时候，总可以送入一个函数的参数。传入的参数本身就是一个函数。当然，这个输入的函数相当于某个函数的另外一个函数。当函数执行完毕之后，又可以返回另外一个新的函数，这个返回函数取决于return fn{...}。上述过程出现3个不同的函数，分别有不同的角色。要达到这样的应用目的，需要把函数作为一个值来看待。
JavaScript不但是一门灵活的语言，而且是一门精巧的函数式语言。下面看一个函数作为参数的示例。
document.write([2,3,1,4].sort);//"1,2,3,4"
这是最简单的数组排序语句。实际上Array.prototype.sort还能够支持一个可选的参数“比较函数”，其形式如sort(fn)。fn是一个函数类型的值，说明这里应用到高阶函数。再如，下面这个对日期类型排序的sort。
//声明3个对象，每个对象都有属性id和date
var a=new Object;
var b=new Object;
var c=new Object;
a.id=1;
b.id=2;
c.id=3;
a.date=new Date(2012,3,12);
b.date=new Date(2012,1,15);
c.date=new Date(2012,2,10);
//存放在arr数组中
var arr=[a,b,c];
//开始调试，留意id的排列是按1、2、3这样的顺序的
arr.sort(
function(x,y){
return x.date-y.date;
}
);
//已经对arr排序了，发现元素顺序发生变化，id也发生变化。排序是按照日期进行的
在数组排序的时候就会执行“function(x,y){return x.date-y.date;}”这个传入的函数。当没有传入任何排序参数时，默认当x大于y时返回1，当x等于y时返回0，当x小于y时返回-1。
除了了解函数作为参数使用外，下面再看看函数返回值作为函数的情况。定义一个wrap函数，该函数的主要用途是产生一个包裹函数。
function wrap(tag){
var stag='＜'+tag+'＞';
var etag='＜/'+tag.replace(/s.*/,'')+'＞';
return function(x){
return stag+x+etag;
}
}
var B=wrap('B');
document.write(B('粗体字'));
document.write('＜br＞');
document.write(wrap('B')('粗体字'));
“var B=wrap('B');”这一语句已经决定了这是一个“加粗体”的特别函数，执行该B函数就会产生＜b＞…内容…＜/b＞的效果。若是wrap('p')，就会产生＜p＞…内容…＜/p＞的效果，若是wrap('li')，就会产生＜li＞…内容…＜/li＞…的效果，依此类推。wrap('B')返回到变量B的是一个函数。若不使用变量，wrap('B')也是合法的JavaScript语句，只要最后一个括号前面的是函数类型的值即可。为什么stag+x+etag中的stag/etag没有输入也会在wrap内部定义？因为warp作用域中就有stag、etag两个变量。如果从理论上描述这一特性，应该属于闭包方面的内容。
实际上，map函数即为一种高阶函数，在很多的函数式编程语言中均有此函数。map(array,func)的表达式已经表明，将func函数作用于array中的每一个元素，最终返回一个新的array。应该注意的是，map对array和func的实现是没有任何预先的假设的，因此称为“高阶”函数。
function map(array,func){
var res=;
for(var i=0,len=array.length;i＜len;i++){
res.push(func(array[i]));
}
return res;
}
var mapped=map([1,3,5,7,8],function(n){
return n=n+1;
});
print(mapped);//2,4,6,8,9
var mapped2=map(["one","two","three","four"],function(item){
return"("+item+")";
});
print(mapped2);(one),//(two),(three),(four)，为数组中的每个字符串加上括号
mapped和mapped2均调用了map，但得到了截然不同的结果。因为map的参数本身已经进行了一次抽象，map函数做的是第二次抽象，所以高阶的“阶”可以理解为抽象的层次。