Cтраница 2
FQL-функция типа тМесто - сбора будет возвращать последовательность ссылок на записи стадионов, применяя сначала FFS-Место - сбора к сингулярному набору Места-сбора и затем применяя FNS Mecra - c6opa каждый раз, когда механизм отложенных вычислений решит, что пора это сделать. В конце концов, FNS Mecra - c6opa выдаст в качестве ответа нуль-значение, и тогда тМеста - сбора выработает терминатор. [16]
Отложенное вычисление позволяет программисту упростить конструирование выражений благодаря назначению временных имен важным их частям. Однако более существенно то, что отложенное вычисление предоставляет элементарную возможность для определения представлений. Благодаря определению имен отношений как выражений с отложенным вычислением программист может использовать эти имена так, как будто определяемые отношения действительно существуют. Таким образом, множество определяемых отношений образует представление базы данных. [17]
В основном за это не приходится дополнительно платить при исполнении. Однако если ламбда-выражения вычисляются с помощью SECD-механизма, то дополнительные затраты на введение отложенных вычислений оказываются существенными. [18]
Первое и наиболее очевидное изменение, которое необходимо сделать, касается правила для функции Eval, когда ее аргументом является применение функции. Мы по-прежнему требуем, чтобы функция была либо замыканием, либо примитивом, и нам, следовательно, по-прежнему необходимо вычислять выражение самой функции перед вызовом Apply. Мы можем просто передать выражение аргумента без изменений в функцию Apply, но это снова поставит перед нами проблему, связанную со ссылками на переменные в выражении аргумента. Следовательно, мы должны использовать структуру, подобную замыканию, чтобы запоминать как само выражение аргумента, так и контекст, содержащий корректные связи переменных этого выражения. Назовем эту структуру задержкой, чтобы отразить тот факт, что она представляет отложенное вычисление выражения, хотя ее часто называют также рецептом, отражая тот факт, что она представляет рецепт для вычисления значения. [19]