Re: top-level location-path context dependencies

Jason Hunter <[email protected]>
Newsgroups gmane.comp.web.query-languages
Message-ID <[email protected]>
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.

-jh-

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:[email protected]]
>>Sent: Sunday, April 18, 2004 11:20 AM
>>To: Michael Rys
>>Cc: Howard Katz; [email protected]
>>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.
>>
>>-jh-
> 
> 
> 
>
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.