Содержание
8 отношения: Functional (C++), OCaml, Каррирование, Ковариантность и контравариантность (программирование), Функциональный тип, Частичное применение, Замыкание (программирование), Запись (тип данных).
Functional (C++)
Functional — заголовочный файл в стандартной библиотеке языка программирования C++, предоставляющий набор шаблонов классов для работы с функциональными объектами, а также набор вспомогательных классов для их использования в алгоритмах стандартной библиотеки.
Посмотреть Функции первого класса и Functional (C++)
OCaml
OCaml (Objective Caml) — современный объектно-ориентированный язык функционального программирования общего назначения, который был разработан с учётом безопасности исполнения и надёжности программ.
Посмотреть Функции первого класса и OCaml
Каррирование
Каррирование (от currying, иногда — карринг) — преобразование функции от многих аргументов в набор функций, каждая из которых является функцией от одного аргумента.
Посмотреть Функции первого класса и Каррирование
Ковариантность и контравариантность (программирование)
Ковариа́нтность и контравариа́нтность в программировании — способы переноса наследования типов на производные от них типы — контейнеры, обобщённые типы, делегаты и т. п.
Посмотреть Функции первого класса и Ковариантность и контравариантность (программирование)
Функциональный тип
Функциональный тип (стрелочный тип, экспоненциал) в информатике — тип переменной или параметра, значением которой или которого может быть функция; либо тип аргумента или возвращаемого значения функции высшего порядка, принимающей или возвращающей функцию.
Посмотреть Функции первого класса и Функциональный тип
Частичное применение
Частичное применение — возможность в ряде языков программирования зафиксировать часть аргументов многоместной функции и создать другую функцию, меньшей арности.
Посмотреть Функции первого класса и Частичное применение
Замыкание (программирование)
Замыкание (closure) в программировании — функция первого класса, в теле которой присутствуют ссылки на переменные, объявленные вне тела этой функции в окружающем коде и не являющиеся её параметрами.
Посмотреть Функции первого класса и Замыкание (программирование)
Запись (тип данных)
Запись — агрегатный тип данных, инкапсулирующий без сокрытия набор различных типов.
Посмотреть Функции первого класса и Запись (тип данных)