[XSL-LIST Mailing List Archive Home] [By Thread] [By Date]

[xsl] What is the "closure" of a function?

Subject: [xsl] What is the "closure" of a function?
From: "Dimitre Novatchev dnovatchev@xxxxxxxxx" <xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx>
Date: Fri, 23 May 2014 20:28:19 -0000

 The Functions and Operators 3.0 recommendation
(http://www.w3.org/TR/xpath-functions-30/) uses the term "closure" of
a function:

"In effect, the static and dynamic part of the context thus act as
part of the closure of the function item."

However, there is no formal definition of "closure".

A search for "closure " in the Data-Model 3.0" Recommendation yields 0 results.

However, the XDM defines the so called "nonlocal variable bindings":

"nonlocal variable bindings (a mapping from xs:QName to item()*): This
provides a value for each of the function's free variables (i.e.,
variables referenced by the function's implementation, other than
locals and parameters)."

My question is:

  Is it safe to assume that what is referred to as the "closure"
property of functions in the F & O document is the same as the
"nonlocal variable bindings" property of functions, defined in the

Dimitre Novatchev
Truly great madness cannot be achieved without significant intelligence.
To invent, you need a good imagination and a pile of junk
Never fight an inanimate object
To avoid situations in which you might make mistakes may be the
biggest mistake of all
Quality means doing it right when no one is looking.
You've achieved success in your field when you don't know whether what
you're doing is work or play
To achieve the impossible dream, try going to sleep.
Facts do not cease to exist because they are ignored.
Typing monkeys will write all Shakespeare's works in 200yrs.Will they
write all patents, too? :)
I finally figured out the only reason to be alive is to enjoy it.

Current Thread