Вычисление аппликации

Интерпретатор, вычисляя значение формы, следует неформальному алгоритму:

1. Вычислить все подвыражения:
   • значением числовых констант являются те числа, которые они называют;
   • значением встроенных операторов являются последовательности машинных команд;
   • значением остальных имен являются те объекты, включая функциональные, с которыми эти имена связаны в окружении.
2. Применить процедуру, которая является значением оператора, к аргументам - значениям операндов.

Это правило вычисления рекурсивно: в качестве одного из своих шагов оно включает применение того же самого правила.