[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
XDM?

-- 
Cheers,
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