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

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

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