W3C home > Mailing lists > Public > www-ql@w3.org > April to June 2004

Re: top-level location-path context dependencies

From: Jason Hunter <jhunter@acm.org>
Date: Sun, 18 Apr 2004 12:25:43 -0700
Message-ID: <4082D637.4060505@acm.org>
To: Michael Rys <mrys@microsoft.com>
Cc: Howard Katz <howardk@fatdog.com>, www-ql@w3.org

And that's the reason it was removed.  Not because it didn't provide 
useful functionality.  Not because it wasn't needed.  But because it was 
hard for an implementation like the one you're working on to do static 
type analysis on what it would return.  Not that static analysis is a 
requirement of XQuery.

If we removed every feature that made static analysis difficult, we'd be 
left with a bare skeleton of a language.


Michael Rys wrote:

> The problem with input() is that its type is basically item* which makes
> it a function that is hard to interoperate over or give more specific
> static type information. With a variable, you will be able to know more
> since you have it added to the static context and the dynamic context...
> Michael
>>-----Original Message-----
>>From: Jason Hunter [mailto:jhunter@acm.org]
>>Sent: Sunday, April 18, 2004 11:20 AM
>>To: Michael Rys
>>Cc: Howard Katz; www-ql@w3.org
>>Subject: Re: top-level location-path context dependencies
>>Michael Rys wrote:
>>>In XQuery, the solution is very simple if you make it explicit:
>>>Bind a variable to the sequence.
>>The other solution is to bring back input() from the May 2003 draft.
>>That's actually more elegant.
Received on Sunday, 18 April 2004 15:26:12 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:43:43 UTC