Нетерпеливое вычисление / аппликативный порядок и ленивое вычисление / нормальный порядок

Насколько мне известно, нетерпеливое вычисление / аппликативный порядок оценивает все аргументы функции перед ее применением, с другой стороны, ленивое вычисление / нормальный порядок оценивает аргументы только тогда, когда это необходимо.

Итак, что в чем разница между парой терминов нетерпеливой оценкой и аппликативным порядком , и ленивым вычислением и нормальным порядком ?

Спасибо.