[XSL-LIST Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

() equivalent to () ?

Subject: () equivalent to () ?
From: Frans Englich <frans.englich@xxxxxxxxx>
Date: Mon, 22 Aug 2005 13:03:28 +0000
 () equivalent to () ?
Hi,

Is the empty sequence equal to itself?

I would say yes, because what charactarizes the empty sequence, its length and 
its members(AFAICT), is always the same. IIRC, the empty sequence is a 
constant value and hence it must by common principles be identical to itself.
[1]

As a consequence, the expression "data( () )" should be equivalent to its 
argument, "()", the empty sequence.

However, testing this theory in practice in a host language such as XSLT 2.0 
is impossible(?) since all comparison operators returns the empty sequence 
when an operand is the empty sequence.

I wonder, does the problematism I encircle have an impact in a real world 
scenario? (e.g, is it something more than a confusing word game?)

I am rather empty on this topic and I guess that means... euhm.. that I am 
equivalent to..


Cheers,

		Frans

1.
The specs seems to be inconsistent in this area, sometimes the wording reads 
"if ... then the empty sequence is returned," and in other cases it reads "If 
the operand is an empty sequence".
In other words, sometimes "empty sequence" is referred to as a constant value, 
while in other cases as a type(or however one chooses to interpret this 
difference in definite form).

Current Thread

PURCHASE STYLUS STUDIO ONLINE TODAY!

Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Buy Stylus Studio Now

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Don't miss another message! Subscribe to this list today.
Email
First Name
Last Name
Company
Subscribe in XML format
RSS 2.0
Atom 0.3
Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member
Stylus Studio® and DataDirect XQuery ™are products from DataDirect Technologies, is a registered trademark of Progress Software Corporation, in the U.S. and other countries. © 2004-2013 All Rights Reserved.