Редукция графов происходит с помощью именно этих макросов. Макрос EVAL инициализирует вычисление выражения, которое в ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Филд А.N. Функциональное программирование


Редукция графов происходит с помощью именно этих макросов. Макрос EVAL инициализирует вычисление выражения, которое в ленивой системе является требуемым результатом, если его вычисление не будет специальным образом форсировано. EVAL служит для вычисления выражений верхнего уровня ( см. разд. Выполнение UNWIND и RET всегда отчасти аналогично применению EVAL. Применение примитивных функций происходит по В-схеме ( см. разд.

(cкачать страницу)

Смотреть книгу на libgen

Редукция графов происходит с помощью именно этих макросов.  Макрос EVAL инициализирует вычисление выражения,  которое в ленивой системе является требуемым результатом,  если его вычисление не будет специальным образом форсировано.  EVAL служит для вычисления выражений верхнего уровня ( см. разд.  Выполнение UNWIND и RET всегда отчасти аналогично применению EVAL.  Применение примитивных функций происходит по В-схеме ( см. разд.