Суперкомбинатор
Суперкомбинатор Определение суперкомбинатора Суперкомбинатор – это математическое выражение, которое является полностью связанным и самодостаточным. Суперкомбинаторы могут быть константами или комбинаторами, […]
Вики
Implementation of functional programming languages
Вики
Замыкание (компьютерное программирование)
Закрытие (компьютерное программирование) Определение и использование замыканий Замыкание – это функция, которая сохраняет свое окружение при вызове. Замыкания позволяют создавать
Вики
Ленивая оценка
Ленивая оценка Определение ленивых вычислений Ленивые вычисления откладывают выполнение вычислений до тех пор, пока не потребуется результат. Отложенное вычисление позволяет
Вики
Сокращение графа
Сокращение графика Основы сокращения графиков Сокращение графиков используется для эффективной оценки нестрогих функций в информатике. Эта стратегия известна как ленивая
Вики
Стиль продолжения прохождения
Стиль прохождения продолжения Основы стиля передачи продолжения Стиль передачи продолжения (CPS) – это форма функционального программирования, в которой функции принимают
Вики
Вырубка лесов (информатика)
Обезлесение (информатика) Определение обезлесения в программировании Обезлесение – это процесс преобразования программы для удаления промежуточных структур данных. Термин “обезлесение” введен
Вики
Хвостовой вызов
Последующий вызов Определение и использование хвостовой рекурсии Хвостовая рекурсия – это рекурсия, в которой последний вызов функции является рекурсивным вызовом.
Вики
SECD-машина
Вторая машина Описание SECD-машины SECD-машина – это виртуальная машина, разработанная Питером Дж. Ландином в 1964 году. Машина основана на стеке
Вики
Оценка короткого замыкания
Оценка короткого замыкания Вычисление по короткому замыканию – семантика некоторых логических операторов в языках программирования. В языках программирования с отложенным
Вики
Частичное применение
Частичное применение Частичное применение функции позволяет использовать только некоторые аргументы функции. Это может упростить определение функций и упростить определение полезных
Вики
Категориальная абстрактная машина
Категориальная абстрактная машина Категориальная абстрактная машина (CAM) – модель вычислений для программ, сохраняющая возможности прикладного, функционального или композиционного стиля. CAM