函式是描述客觀世界變化規律的重要數學模型。

高中階段不但象義務教育階段那樣，把函式看成變數之間的依賴關係，同時還用集合與對應的語言來刻畫函式。學生將學習指數函式、對數函式等具體的基本初等函式，結合實際問題，感受運用函式概念建立模型的過程和方法，體會函式是數學和其他學科的基礎，並能夠初步運用函式思想理解和處理現實生活和社會中的簡單問題。為了加強不同內容間的有機聯絡，學生還將學習利用函式的性質求方程的近似解，體會函式與方程的聯絡，體會函式圖象是理解和研究函式的直觀工具

在數學和計算機科學中，高階函式是至少滿足下列一個條件的函式:

接受一個或多個函式作為輸入

輸出一個函式

在數學中它們也叫做運算元(運算子)或泛函。微積分中的導數就是常見的例子，因為它對映一個函式到另一個函式。

在無型別 lambda 演算，所有函式都是高階的；在有型別 lambda 演算（大多數函數語言程式設計語言都從中演化而來）中，高階函式一般是那些函式型別包含多於一個箭頭的函式。在函數語言程式設計中，返回另一個函式的高階函式被稱為Curry化的函式。

在數學和計算機科學中，高階函式是至少滿足下列一個條件的函式:

接受一個或多個函式作為輸入

輸出一個函式

在數學中它們也叫做運算元(運算子)或泛函。微積分中的導數就是常見的例子，因為它對映一個函式到另一個函式。

在無型別 lambda 演算，所有函式都是高階的；在有型別 lambda 演算（大多數函數語言程式設計語言都從中演化而來）中，高階函式一般是那些函式型別包含多於一個箭頭的函式。在函數語言程式設計中，返回另一個函式的高階函式被稱為Curry化的函式。

在很多函數語言程式設計語言中能找到的 map 函式是高階函式的一個例子。它接受一個函式 f 作為引數，並返回接受一個列表並應用 f 到它的每個元素的一個函式。

高階函式的其他例子包括函式複合、積分和常量函式 λx.λy.x。