Начальная алгебра
Начальная алгебра Определение исходной алгебры Исходная алгебра — это объект в категории F-алгебр, который служит основой для индукции и рекурсии. […]
Вики
Функциональное программирование
Вики
Корекурсия
Повторная экскурсия Основы рекурсии и коиндукции Рекурсия — это метод определения функции через саму функцию. Коиндукция — это метод определения
Вики
Коиндукция
Коиндукция Определение и свойства F-коалгебр F-коалгебра — это пара (A, F), где A — множество, а F — функционал, отображающий
Вики
ПоследовательностьL
Последовательность действий Обзор SequenceL SequenceL — это декларативный язык программирования, разработанный для параллельного выполнения операций. Язык был создан в Техасском
Вики
Филип Уодлер
Филип Уодлер Биография Филипа Ли Уодлера Американский ученый-компьютерщик, родился 8 апреля 1956 года Известен вкладом в языки программирования и теорию
Вики
Суперкомбинатор
Суперкомбинатор Определение суперкомбинатора Суперкомбинатор — это математическое выражение, которое является полностью связанным и самодостаточным. Суперкомбинаторы могут быть константами или комбинаторами,
Вики
Интерпретация Брауэра–Хейтинга–Колмогорова
Интерпретация Брауэра–Хейтинга–Колмогорова Интерпретация BHK Интерпретация BHK — это формализация интуиционистской логики, разработанная Брауэром и Хеинрихом. Она основана на интуиционистской логике
Вики
Подать заявку
Применять Определение и применение карри Карри — это функция, которая принимает функцию и возвращает новую функцию, которая применяет аргументы исходной
Вики
Функтор (функциональное программирование)
Функтор (функциональное программирование) Определение функтора в функциональном программировании Функтор — это шаблон проектирования, который позволяет применять функции к значениям внутри
Вики
Саймон Пейтон Джонс
Саймон Пейтон Джонс Биография Саймона Пейтона Джонса Британский ученый-компьютерщик, исследующий функциональные языки программирования. Окончил Кембриджский университет, не защитил докторскую степень.
Вики
Функциональное реактивное программирование
Функциональное реактивное программирование Основы FRP FRP — это парадигма для асинхронного программирования, использующая функциональные блоки. Применяется для разработки GUI, робототехники,
Вики
Международная конференция по функциональному программированию
Международная конференция по функциональному программированию Обзор Международной конференции по функциональному программированию (ICFP) ICFP — это ежегодная конференция в области компьютерных
Вики
Анонимная функция
Анонимная функция Определение и использование анонимных функций Анонимные функции — это функции без явного имени, которые могут быть определены в
Вики
Чисто функциональная структура данных
Чисто функциональная структура данных Определение и преимущества чисто функциональных структур данных Чисто функциональные структуры данных неизменяемы и обеспечивают полную сохраняемость,
Вики
Обобщенный алгебраический тип данных
Обобщенный алгебраический тип данных Обзор обобщенных алгебраических типов данных (GADT) GADT — это обобщение параметрических алгебраических типов данных в функциональном
Вики
Тотальное функциональное программирование
Полное функциональное программирование Определение тотального функционального программирования Тотальное функциональное программирование ограничивает программы доказуемо завершаемыми. Ограничения тотального функционального программирования Ограниченная форма
Вики
Коиндукция
Коиндукция Определение и свойства F-коалгебр F-коалгебра — это пара (A, F), где A — множество, а F — функционал, отображающий
Вики
Катаморфизм
Катаморфизм Определение катаморфизма Катаморфизм — это гомоморфизм, который обобщает свертки списков на алгебраические типы данных. Анаморфизм — это обобщение, обратное
Вики
Стиль продолжения прохождения
Стиль прохождения продолжения Основы стиля передачи продолжения Стиль передачи продолжения (CPS) — это форма функционального программирования, в которой функции принимают