Шаблон:Стратегии вычисления

Стратегии вычисления
Строгие вычисления
Аппликативный порядок Вызов по значению (call-by-value) Вызов по ссылке (call-by-reference) Вызов по адресу (call-by-address) Вызов по соиспользованию (call-by-sharing) Вызов по копированию — восстановлению (call-by-copy-restore)
Нестрогие вычисления
Нормальный порядок Вызов по имени (call-by-name) Вызов по необходимости (call-by-need) Ленивые вычисления (lazy evaluation) Оптимистичные вычисления Вызов по макрораскрытию
Недетерминированные стратегии
Полная β-редукция Вызов по преднамеченности (call-by-future) Оптимистичные вычисления
Другие
Частичные вычисления Удалённые вычисления Вычисления по короткой схеме

Навигация