Примитивные выражения, комбинирование и абстракция — Структура и интерпретация компьютерных программ

Видео может быть заблокировано из-за расширений браузера. В статье вы найдете решение этой проблемы.

Замечание

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

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