Теория: Примитивные выражения, комбинирование и абстракция

Замечание

В видео на 25й минуте метод вычисления по ошибке называется «аппликативным». На самом деле это «нормальный» порядок.

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