Реализация функциональных языков программирования

Вики

Сокращение графа

/

Сокращение графика Основы сокращения графиков Сокращение графиков используется для эффективной оценки нестрогих функций в информатике.  Эта стратегия известна как ленивая

Вики

Вырубка лесов (информатика)

/

Обезлесение (информатика) Определение обезлесения в программировании Обезлесение — это процесс преобразования программы для удаления промежуточных структур данных.  Термин «обезлесение» введен

Вики

Хвостовой вызов

/

Последующий вызов Определение и использование хвостовой рекурсии Хвостовая рекурсия — это рекурсия, в которой последний вызов функции является рекурсивным вызовом. 

Вики

Оценка короткого замыкания

/

Оценка короткого замыкания Вычисление по короткому замыканию — семантика некоторых логических операторов в языках программирования.  В языках программирования с отложенным

Вики

Категориальная абстрактная машина

/

Категориальная абстрактная машина Категориальная абстрактная машина (CAM) — модель вычислений для программ, сохраняющая возможности прикладного, функционального или композиционного стиля.  CAM

Прокрутить вверх