高阶函数 在数学和计算机科学中高阶函数是至少满足下列一个条件的函数 接受一个或多个函数作为输入 输出一个函数 在数学中它们也叫做算子运算符或泛函微积分中的导数就是常见的例子因为它映射一个函数到另一个函数 在无类型lambda演算所有函数都是高阶的在有类型lambda演算中高阶函数一般是那些函數型別包含多于一个箭头的函数在函数式编程中返回另一个函数的高阶函数被称为Curry化的函数