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