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



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


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

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

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

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