Functional programming

Вики

GNU Guix

/

GNU Guix (графический интерфейс пользователя) Описание GNU Guix Функциональный кроссплатформенный менеджер пакетов   Основан на Nix package manager   Использует криптографические хэши […]

Вики

Начальная алгебра

/

Начальная алгебра Определение исходной алгебры Исходная алгебра – это объект в категории F-алгебр, который служит основой для индукции и рекурсии. 

Вики

Корекурсия

/

Повторная экскурсия Основы рекурсии и коиндукции Рекурсия – это метод определения функции через саму функцию.  Коиндукция – это метод определения

Вики

Коиндукция

/

Коиндукция Определение и свойства F-коалгебр F-коалгебра – это пара (A, F), где A – множество, а F – функционал, отображающий

Вики

ПоследовательностьL

/

Последовательность действий Обзор SequenceL SequenceL – это декларативный язык программирования, разработанный для параллельного выполнения операций.  Язык был создан в Техасском

Вики

Филип Уодлер

/

Филип Уодлер Биография Филипа Ли Уодлера Американский ученый-компьютерщик, родился 8 апреля 1956 года  Известен вкладом в языки программирования и теорию

Вики

F-алгебра

/

F-алгебра Определение и примеры F-алгебр F-алгебра – это алгебра, в которой каждый элемент является функцией.  Примеры включают списки, деревья и

Вики

Суперкомбинатор

/

Суперкомбинатор Определение суперкомбинатора Суперкомбинатор – это математическое выражение, которое является полностью связанным и самодостаточным.  Суперкомбинаторы могут быть константами или комбинаторами,

Вики

Подать заявку

/

Применять Определение и применение карри Карри – это функция, которая принимает функцию и возвращает новую функцию, которая применяет аргументы исходной

Вики

Саймон Пейтон Джонс

/

Саймон Пейтон Джонс Биография Саймона Пейтона Джонса Британский ученый-компьютерщик, исследующий функциональные языки программирования.  Окончил Кембриджский университет, не защитил докторскую степень. 

Вики

Международная конференция по функциональному программированию

/

Международная конференция по функциональному программированию Обзор Международной конференции по функциональному программированию (ICFP) ICFP – это ежегодная конференция в области компьютерных

Вики

Анонимная функция

/

Анонимная функция Определение и использование анонимных функций Анонимные функции – это функции без явного имени, которые могут быть определены в

Вики

Чисто функциональная структура данных

/

Чисто функциональная структура данных Определение и преимущества чисто функциональных структур данных Чисто функциональные структуры данных неизменяемы и обеспечивают полную сохраняемость,

Вики

Тотальное функциональное программирование

/

Полное функциональное программирование Определение тотального функционального программирования Тотальное функциональное программирование ограничивает программы доказуемо завершаемыми.  Ограничения тотального функционального программирования Ограниченная форма

Вики

Коиндукция

/

Коиндукция Определение и свойства F-коалгебр F-коалгебра – это пара (A, F), где A – множество, а F – функционал, отображающий

Вики

Катаморфизм

/

Катаморфизм Определение катаморфизма Катаморфизм – это гомоморфизм, который обобщает свертки списков на алгебраические типы данных.  Анаморфизм – это обобщение, обратное

Прокрутить вверх