高阶函数
维基百科,自由的 encyclopedia
在数学和计算机科学中,高阶函数是至少满足下列一个条件的函数:
- 接受一个或多个函数作为输入
- 输出一个函数
此条目没有列出任何参考或来源。 (2019年3月6日) |
在数学中它们也叫做算子(运算符)或泛函。微积分中的导数就是常见的例子,因为它映射一个函数到另一个函数。
在无类型lambda演算,所有函数都是高阶的;在有类型lambda演算[注 1]中,高阶函数一般是那些函数型别包含多于一个箭头的函数。在函数式编程中,返回另一个函数的高阶函数被称为Curry化的函数。