XQuery: лениво ли оцениваются импортируемые переменные?

Question

У меня есть модуль библиотеки XQuery, содержащий некоторые функции, которые не принимают аргументов. Я рассматриваю возможность перезаписи этих функций как переменных, чтобы сделать их немного быстрее, чтобы получить к ним доступ.

Однако некоторые из них представляют собой дорогостоящие вычисления с вычислением. Как функции, они, очевидно, будут оцениваться только при вызове. Но в качестве переменных я не уверен, будут ли они автоматически оцениваться при импорте библиотечного модуля.

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

Не было бы проблем, если бы импортируемые переменные оценивались лениво: я мог бы импортировать библиотечный модуль в любой запрос, зная, что эти дорогие переменные оцениваются только в том случае, если они фактически используются основным модулем.

Я знаю, что это всего лишь вопрос написания prefix:myImportedFunction() против $prefix:myImportedVariable, но это неопределенность, которую я хотел бы развеять.

Я считаю, что это поведение зависит от реализации. Меня особенно интересует поведение в BaseX и Saxon-HE. Они лениво оценивают импортируемые переменные?

Answer 1

Саксон обычно будет использовать ленивую оценку для глобальных переменных. Исключение - если включена трассировка во время выполнения (что может быть сделано, если вы отлаживаете IDE); он затем переключается на нетерпеливую оценку, чтобы сделать отладку более доступной.

Answer 2

В BaseX только те переменные будут оптимизированы (и, возможно, предварительно оценены), если они указаны в исполняемом коде. Например, в следующем выражении, $ v не будут оценены:

declare variable $expensive := (1 to 100000000)[. = 1]; 
123 

Предварительная оценка доступ переменных была выбрана потому, что она позволяет многие последующие оптимизации в Basex. Однако, ленивые вычисления переменных может быть обеспечено путем добавления Q{http://basex.org}lazy annotation:

declare namespace basex = 'http://basex.org'; 
declare %basex:lazy variable $expensive := (1 to 100000000)[. = 1]; 
(1, $expensive)[1]