Тема: Частичные вычисления
Из Википедии:
При частичных вычислениях (англ. partial evaluation) вычисления могут производиться в неприменённой функции. Вычисляются любые подвыражения, не содержащие несвязанных переменных, редуцируются применения функций с известными аргументами. При наличии побочных эффектов полное частичное вычисление может приводить к нежелаемым результатам, поэтому системы, поддерживающие частичные вычисления, производят их лишь для чистых выражений (выражений без побочных эффектов) в функциях.
На платформе Кантора
Цель частичных вычислений на платформе Кантора — нулевая (в идеале) стоимость абстракций в условиях фрактальности модели.
Контрпримеры — высокая стоимость абстракций — библиотеки VCL в Delphi и Qt в C++.
Ориентир для оценки качества частичных вычислений в Халва-Паскале — 15-30 КБ для пустой программы с формой VCL вместо 300-900 КБ, порождаемых Delphi.
Возможно, пример использования произвольной функции в «константном» выражении Халва-Паскаля также относится к частичным вычислениям, описана специализация или редуцирование (?):
вычисляется возможность свертывания в константу, встраиваемую (inline) функцию или полноценную функцию с вызовом