Список тем функционального программирования
Это список по функциональному программированию тем .
Основополагающие концепции [ править ]
- Парадигма программирования
- Декларативное программирование
- Программы как математические объекты
- Программирование на функциональном уровне
- Чисто функциональное программирование
- Полное функциональное программирование
- Лямбда-программирование
- Статическая область видимости
- Функция высшего порядка
- Ссылочная прозрачность
Лямбда-исчисление [ править ]
Комбинаторная логика [ править ]
- Комбинатор с фиксированной точкой
- Комбинаторный расчет SKI
- Система B, C, K, W
- SECD-машина
- Машина сокращения графов
Интуиционистская логика [ править ]
- Секвенционное , секвентивное исчисление
- Естественный вычет
- Интуиционистская теория типов
- Интерпретация БХК
- Переписка Карри-Ховарда
- Линейная логика
- Семантика игры
Теория типов [ править ]
- Типизированное лямбда-исчисление
- Типизированные и нетипизированные языки
- Введите подпись
- Вывод типа
- Тип данных
- Алгебраический тип данных ( обобщенный )
- Тип переменной
- Первоклассная стоимость
- Полиморфизм
- Расчет конструкций
Денотационная семантика [ править ]
Теория категорий [ править ]
Операционные проблемы [ править ]
- Сокращение графа
- Строгий язык программирования
- Ленивая оценка , нетерпеливая оценка
- Спекулятивная оценка
- Побочный эффект
- Назначение
- Закрытие
- Продолжение
- Продолжение стиля прохождения
- Операционная семантика
- Государственная переходная система
- Предзаказ моделирования
- Бисимуляция
- Монады в функциональном программировании
- Обработка исключений
- Сбор мусора