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