W3C home > Mailing lists > Public > public-qt-comments@w3.org > August 2011

[Bug 13747] [XPath 3.0] Determinism of expressions returning constructed nodes

From: <bugzilla@jessica.w3.org>
Date: Thu, 11 Aug 2011 10:32:52 +0000
To: public-qt-comments@w3.org
Message-Id: <E1QrSZI-0000GB-1s@jessica.w3.org>

--- Comment #5 from Michael Kay <mike@saxonica.com> 2011-08-11 10:32:50 UTC ---
Thanks. So the requirement here, if I have reverse-engineered it correctly, is
to generate unique ID attributes on nodes in the result tree, and this is being
achieved by (a) relying on the uniqueness of constructed nodes, and (b) calling
generate-id() on those constructed nodes. In this particular example the IDs do
not appear to be referenced from anywhere, but in another example I guess they
could be.

There ought to be a way of generating unique identifiers in a functional
programming language without relying on the "side-effect" of creating new
nodes. The generally quoted reference in the FP literature seems to be 

Functional Pearl: On generating unique names
Lennart Augustssona, Mikael Rittria and Dan Syneka
Journal of Functional Programming, 1994 

I haven't read it, but will try to get hold of a copy.

Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Thursday, 11 August 2011 10:32:53 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:36 UTC