|
Re: [xsl] XPath 3.0: Is it possible to do recursion in an anonymous function?
2012-10-14 08:49:12
On Sun, Oct 14, 2012 at 1:03 AM, Michael Kay <mike(_at_)saxonica(_dot_)com>
wrote:
It's nice to know that this can be done, but I do wonder if it isn't simpler
to use a named function instead?
It (using a named function) is simpler if one writes in XSLT or XQuery.
It is impossible, if one doesn't.
Cheers,
Dimitre
Michael Kay
Saxonica
On 14/10/2012 00:01, Dimitre Novatchev wrote:
Finally, it is possible to hide the use of the second argument -- like
this:
<xsl:stylesheet version="3.0"
xmlns:xsl="http://www.w3.org/1999/XSL/Transform";
xmlns:xs="http://www.w3.org/2001/XMLSchema";
exclude-result-prefixes="xs">
<xsl:output method="text"/>
<xsl:template match="/">
<xsl:sequence select=
"let $f := function($n as xs:integer,
$f1 as function(xs:integer,
function()) as xs:integer
) as xs:integer
{if($n eq 0)
then 1
else $n * $f1($n -1, $f1)
},
$F := function($n as xs:integer) as xs:integer
{$f($n, $f)}
return
$F(5)
"/>
</xsl:template>
</xsl:stylesheet>
Cheers,
Dimitre
On Sat, Oct 13, 2012 at 12:51 PM, Dimitre Novatchev
<dnovatchev(_at_)gmail(_dot_)com> wrote:
Boh my previous answers had a slight issue (that didn't prevent Saxon
from executing them and producing the correct result) with the typing
of the "mock" function parameter $f1.
Here is this corrected:
<xsl:stylesheet version="3.0"
xmlns:xsl="http://www.w3.org/1999/XSL/Transform";
xmlns:xs="http://www.w3.org/2001/XMLSchema";
exclude-result-prefixes="xs">
<xsl:output method="text"/>
<xsl:template match="/">
<xsl:sequence select=
"let $f := function($n as xs:integer,
$f1 as function(xs:integer,
function()) as xs:integer
) as xs:integer
{if($n eq 0)
then 1
else $n * $f1($n -1, $f1)
}
return
$f(5, $f)
"/>
</xsl:template>
</xsl:stylesheet>
Cheers,
Dimitre
On Sat, Oct 13, 2012 at 12:47 PM, Dimitre Novatchev
<dnovatchev(_at_)gmail(_dot_)com> wrote:
Here is an equivalent XSLT-based solution -- i both cases there is no
literal function defined -- just an inline one:
<xsl:stylesheet version="3.0"
xmlns:xsl="http://www.w3.org/1999/XSL/Transform";
xmlns:xs="http://www.w3.org/2001/XMLSchema";
exclude-result-prefixes="xs">
<xsl:output method="text"/>
<xsl:template match="/">
<xsl:sequence select=
"let $f := function($n as xs:integer,
$f1 as function(xs:integer) as xs:integer
) as xs:integer
{if($n eq 0)
then 1
else $n * $f1($n -1, $f1)
}
return
$f(5, $f)
"/>
</xsl:template>
</xsl:stylesheet>
Again, the correct result is produced:
120
Cheers,
Dimitre
On Sat, Oct 13, 2012 at 12:37 PM, Dimitre Novatchev
<dnovatchev(_at_)gmail(_dot_)com> wrote:
You are right, but there is an easy workaround.
Here is an example with an in-line factorial function:
declare option saxon:output "omit-xml-declaration=yes";
let $f := function($n as xs:integer,
$f1 as function(xs:integer) as
xs:integer
) as xs:integer
{if($n eq 0)
then 1
else $n * $f1($n -1, $f1)
}
return
$f(5, $f)
The result we get is correct:
120
Cheers,
Dimitre
On Sat, Oct 13, 2012 at 12:03 PM, Costello, Roger L.
<costello(_at_)mitre(_dot_)org> wrote:
Hi Folks,
Is it possible to do recursion in an anonymous function?
Example: I would like to implement an "until" function. It has three
arguments:
1. p is a boolean function
2. f is a function on x
3. x is the value being processed
Read the following function call as: decrement 3 until it is negative
$until ($isNegative, $decrement, 3)
where
$isNegative := function($x as xs:integer) {$x lt 0}
$decrement := function($x as xs:integer) {$x - 1}
Here's how I attempted to implement function until:
$until := function(
$p as function(item()*) as
xs:boolean,
$f as function(item()*) as
item()*,
$x as item()*
) as item()*
{
if ($p($x)) then
$x
else
$until($p, $f, $f($x)) <--
RECURSE ...THIS IS NOT ALLOWED, I THINK
}
Is there a way to implement function until in XPath 3.0? (I know how
to implement it in XSLT 3.0)
/Roger
--~------------------------------------------------------------------
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
-------------------------------------
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.
--
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
-------------------------------------
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.
--
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
-------------------------------------
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>
--~--
--
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
-------------------------------------
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>
--~--
|
|