WikiDer > Список тем функционального программирования
List of functional programming topics
 | эта статья не цитировать Любые источники. (Июнь 2010 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Это Список функциональное программирование темы.
Основополагающие концепции
- Парадигма программирования
- Декларативное программирование
- Программы как математические объекты
- Программирование на функциональном уровне
- Чисто функциональное программирование
- Полное функциональное программирование
- Лямбда-программирование
- Статическая область видимости
- Функция высшего порядка
- Ссылочная прозрачность
Лямбда-исчисление
Комбинаторная логика
- Комбинатор с фиксированной точкой
- Расчет комбинатора SKI
- Система B, C, K, W
- Машина SECD
- Машина для редукции графа
Интуиционистская логика
- Секвент, последовательное исчисление
- Естественный вычет
- Интуиционистская теория типов
- Интерпретация BHK
- Переписка Карри – Ховарда
- Линейная логика
- Семантика игры
Теория типов
- Типизированное лямбда-исчисление
- Типизированные и нетипизированные языки
- Подпись типа
- Вывод типа
- Тип данных
- Алгебраический тип данных (обобщенный)
- Переменная типа
- Первоклассная ценность
- Полиморфизм
- Расчет конструкций
Денотационная семантика
Теория категорий
Операционные вопросы
- Редукция графика
- Строгий язык программирования
- Ленивая оценка, жадная оценка
- Умозрительная оценка
- Побочный эффект
- Присвоение
- Закрытие
- Продолжение
- Продолжение прохождения
- Операционная семантика
- Система перехода состояний
- Предзаказ на симуляцию
- Бисимуляция
- Монады в функциональном программировании
- Обработка исключений
- Вывоз мусора