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

From Традиция
Jump to navigation Jump to search
Функция первого порядка
Функция, принимающая и возвращающая только значения не функциональных типов
Отношения с другими понятиями:
Теория:
Функциональное программирование, λ-исчисление
Противопоставляется:
Функция высшего порядка

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