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



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


ПГ тела замыкания может быть вычислен путем мысленной замены каждой входящей дуги на вершину-значение, представляющую соответствующий аргумент. Таким образом, все тела замыканий являются статическими, и поэтому могут генерироваться на этапе компиляции. Динамическим является только контекст, конструируемый в процессе вычисления выражения. Поэтому результат применения замыкания зависит от арности этого замыкания, являющейся числом аргументов, к которым замыкание должно быть применено, чтобы обеспечить связь для каждого идентификатора в контексте.

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

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

ПГ тела замыкания может быть вычислен путем мысленной замены каждой входящей дуги на вершину-значение,  представляющую соответствующий аргумент.  Таким образом,  все тела замыканий являются статическими,  и поэтому могут генерироваться на этапе компиляции.  Динамическим является только контекст,  конструируемый в процессе вычисления выражения.  Поэтому результат применения замыкания зависит от арности этого замыкания,  являющейся числом аргументов,  к которым замыкание должно быть применено,  чтобы обеспечить связь для каждого идентификатора в контексте.