Категория : Функциональное программирование

С

• Комбинаторная логика ‎ ( 1 С, 9 П)

Д

• Зависимо типизированное программирование ‎ ( 2 С, 13 П)

Ф

• Функциональные структуры данных ‎ ( 6 П)
• Функциональные языки ‎ ( 8 C, 123 P)

ЧАС

• Функции высшего порядка ‎ ( 12 П)

я

• Реализация языков функционального программирования ‎ ( 3 С, 18 Б)

л

• Лямбда-исчисление ‎ ( 3 C, 49 P)

Р

• Рекурсивные схемы ‎ ( 6 П)

• Функциональное программирование
• Список функциональных языков программирования
• Список тем функционального программирования
• Чисто функциональное программирование

А

• А-нормальная форма
• Действуя
• Алгебраический тип данных
• Анонимная функция
• Добавить
• Аппликативный функтор
• Применять
• Стрелка (информатика)

Б

• Интерпретация Брауэра – Гейтинга – Колмогорова

С

• Катаморфизм
• Коиндукция
• Минусы
• Анализ результатов построенного продукта
• Стиль продолжения прохождения
• Корекурсия
• каррирование

Д

• Прямая функция

Ф

• F-алгебра
• Первоклассная функция
• Frenetic (язык программирования)
• Функциональное логическое программирование
• Функциональное реактивное программирование
• Функтор (функциональное программирование)

Г

• Обобщенный алгебраический тип данных
• ГНУ Мел
• Меловая система GNU
• Машина сокращения графов

ЧАС

• Функция высшего порядка
• Пол Худак

я

• Неизменяемый объект
• Начальная алгебра
• Международная конференция по функциональному программированию
• итеративный

Дж

• Журнал функционального программирования

М

• Эрик Мейер (ученый-компьютерщик)
• Монада (функциональное программирование)
• Монада-трансформер

Н

• Никс (менеджер пакетов)

ТО

• Тип опции

П

• Парсер-комбинатор
• Частичное применение
• Сопоставление с образцом
• Саймон Пейтон Джонс
• Полиморфизм (информатика)
• Чистая функция
• Чисто функциональная структура данных

Р

• Обычный номер
• Тип результата

С

• Джон М. Скоулз
• ПоследовательностьL
• Побочный эффект (информатика)
• Косая двоичная система счисления
• Стиль прохождения магазина
• Поток (абстрактный тип данных)
• Суперкомбинатор

Т

• Thunk
• Приливные циклы
• Полное функциональное программирование
• Тип класса
• Тип семейства
• Тип переменной

В

• Филип Вадлер

С

• Молния (структура данных)