Функция первого порядка

Функция первого порядка Понятие Функция, принимающая и возвращающая только значения не функциональных типов

Отношения с другими понятиями:

Теория:

Функциональное программирование, λ-исчисление

Функция:

Аналитическая функция • Специальная функция • Функция высшего порядка • Функция первого порядка 

Противопоставляется:

Функция высшего порядка

Функция первого порядка — функция, которая может принимать на вход в качестве входного параметра только значения «простых» (не функциональных) типов, а также возвращать значения таких «простых» типов в качестве результата. В этом виде такая функция противопоставляется функциям высшего порядка, которые могут работать с функциональными значениями (принимать на вход функции и возвращать их в качестве результата). Необходимо отметить, что в рамках функционального программирования функции без аргументов (константные функции) или функции с одним нефункциональным аргументом могут являться функциями первого порядка.