Суперкомбинатор
Суперкомбинатор Определение суперкомбинатора Суперкомбинатор — это математическое выражение, которое является полностью связанным и самодостаточным. Суперкомбинаторы могут быть константами или комбинаторами, […]
Вики
Реализация языков функционального программирования
Вики
Стиль продолжения прохождения
Стиль прохождения продолжения Основы стиля передачи продолжения Стиль передачи продолжения (CPS) — это форма функционального программирования, в которой функции принимают
Вики
SECD-машина
Вторая машина Описание SECD-машины SECD-машина — это виртуальная машина, разработанная Питером Дж. Ландином в 1964 году. Машина основана на стеке
Вики
Частичное применение
Частичное применение Частичное применение функции позволяет использовать только некоторые аргументы функции. Это может упростить определение функций и упростить определение полезных