高階函數

在數學和計算機科學中 ， 高階函數是至少滿足下列一個條件的函數 ： 接受一個或多個函數作爲輸入 輸出一個函數 在數學中它們也叫做算子 （ 運算符 ） 或泛函 。 微積分中的導數就是常見的例子 ， 因爲它映射一個函數到另一個函數 。 在無類型lambda演算 ， 所有函數都是高階的 ； 在有類型lambda演算中 ， 高階函數一般是那些函數型別包含多於一個箭頭的函數 。 在函數式編程中 ， 返回另一個函數的高階函數被稱爲Curry化的函數 。