Стратегия вычисления

Стратегия вычисления
https://ru.wikipedia.org/wiki/Стратегия_вычисления

Строгие вычисления

Аппликативный порядок
Вызов по значению (call-by-value)
Вызов по ссылке (call-by-reference)
Вызов по соиспользованию (call by sharing)
Вызов по копированию — восстановлению (call by copy-restore)
Частичные вычисления
Нестрогие вычисления
Нормальный порядок
Вызов по имени (call-by-name)
Вызов по необходимости (call-by-need)
Вызов по макрораскрытию

Недетерминированные стратегии
Полная β-редукция
Вызов по преднамеченности (call by future)
Оптимистичные вычисления