A very quick comment, as I am leaving for work: this all seems
straight-forward using XSLT (XPath) 3.
In the case of arity > 1, we will use a map of maps (the inner maps
will represent partial application of the function.
The saxon:memo-function attribute has, I think, its standard
equivalent (at least a hint) in XSLT 3.0
Cheers,
Dimitre
On Wed, Apr 16, 2014 at 2:51 AM, David Rudel <fwqhgads(_at_)gmail(_dot_)com>
wrote:
Consider Xpath functions, Xpath maps, and Saxon Memo-functions:
A. maps and memo-functions allow caching.
B. Xpath functions and memo-functions allow computing of outputs based
on heretofore unseen inputs "on the fly" using intrinsic logic. They
also allow arities other than 1.
C. Xpath maps allow access to the keys of the hash.
It would be nice to be able to have the features of all 3 in a single
type.... in other words a memo-function whose stored keys you could
retrieve.
Unfortunately, there are two major barriers (in my mind, at least) to
accomplishing the above:
Saxon memo-functions are the closest thing to getting all 3, but XSLT
functions are not first-class objects, so it isn't clear how you would
direct the processor to operate on them. Also, it is not clear how the
keys should be presented if the arity is greater than 1.
For the case where arity = 1, the most natural solution would be to
allow an intrinsic definition for the map that could be used whenever
any of the extrinsic declarations are not applicable. Something like
<xsl:variable name="default.function" as="function(xs:integer) as
xs:integer" select="function($x){$x + 3}"/>
<xsl:variable name="non.static.map" as="map(xs:integer,xs:integer)"
select="map{2:= 4, 3:= 5, $default.function}"/>
The idea would be that if $non.static.map were called with an
xs:integer argument other than {2,3}, then it would return the value
"input + 3" and store that input-output pair in its hash.
Comments?
-David
--
"A false conclusion, once arrived at and widely accepted is not
dislodged easily, and the less it is understood, the more tenaciously
it is held." - Cantor's Law of Preservation of Ignorance.
--~------------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
or e-mail:
<mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
--~--
--
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.
--~------------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
or e-mail: <mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
--~--