Cтраница 3
Локальная мемо-функция может быть применена к тому же аргументу лишь тогда, когда он поступает к различным вхождениям функции в описывающем ее выражении, соответствующем различным предикатным преобразователям. Они должны находиться в одном совместимом наборе, поскольку в другом случае одинаковые аргументы не смогут генерироваться при вычислении одного высокоуровневого применения функции. Задачей компилятора является определение того, какие из предикатных преобразователей являются совместимыми, а какие - нет. Некоторые из них описываются довольно сложными выражениями, и поэтому не всегда их можно достаточно упростить для определения их совместимости. Таким образом, при наличии набора неизвестных, совместимость которых не ясна, удаление каких-либо элементов мемо-таблицы было бы необоснованным, хотя, конечно, это и не привело бы к вычислению некорректных результатов, а лишь повлекло бы за собой излишние повторные вычисления. [31]