[xquery-talk] At risk: Static typing

Michael Rys mrys at microsoft.com
Mon Nov 7 07:11:19 PST 2005

Hi Torsten, any implementation that supports static typing is welcome!


Note however, that most tests will just work regardless of static or dynamic typing. The only things that we can test is for a query to fail in a case where dynamic typing would allow it to succeed...


Best regards




From: talk-bounces at xquery.com [mailto:talk-bounces at xquery.com] On Behalf Of Andrew Eisenberg
Sent: Sunday, November 06, 2005 5:45 PM
To: Torsten Grust
Cc: talk at xquery.com
Subject: Re: [xquery-talk] At risk: Static typing


Hello Torsten, 

"at risk" features are part of the W3C Process [1]. We hope to have tests in the XML Query Test Suite for all of the XQuery features, at risk or otherwise. To date, we've been able to write test cases for almost 80% of the XQuery features, but Static Typing isn't among them. In order to successfully exit CR we have to have reports of two or more implementations of each feature. 

We hope not to have to drop any of the "at risk" features. If we find that one or several of these features is taking significantly longer than all of the others, then we have the option of trimming the specification and proceeding on. 

                                               -- Andrew 
                                                (XML Query WG co-chair) 

[1] World Wide Web Consortium Process Document, 7.4.3 Call for Implementations, 

Andrew Eisenberg
4 Technology Park Drive
Westford, MA  01886

andrew.eisenberg at us.ibm.com

Torsten Grust <grust at in.tum.de> 
Sent by: talk-bounces at xquery.com 

11/06/2005 05:11 PM 


talk at xquery.com 




[xquery-talk] At risk: Static typing




Dear all,

 I am happy to see the XQuery-related W3C Candidate Recommendations.
That's a significant step and I'm looking forward to see 'Candidate'
prefix go away.

I saw that the CR lists a few features to be at risk (to be removed from
the language specifcation if no implementations exist by the end of the
CR period, most probably sometime in spring 2006).  This list contains
the item 'Static typing'.

I was quite surprised to see this since, from the very first moment I
heard of and worked with XQuery, I felt that static typing is an
integral characteristic of the language.  Even more so since we stared
to implement our own processor for the language.  There were times when
our project literally revolved around type inference and the benefits
you can derive from it.

In this context, my question is: to which extent need I be ''worried''
that static typing will not make it into the Recommendation?

Best wishes,

P.S.  I understand that the Galx static typing implementation undergoes
a major rewrite.  We're even prepared to help, i.e., tweak our
implementation of static typing such that it counts as an implementation
in the eyes of the formal W3C process. ;-)

 | Prof. Dr. Torsten Grust                         grust at in.tum.de |
 |                                 http://www-db.in.tum.de/~grust/ |
 |     Database Systems - Technische Universität München (Germany) |
talk at xquery.com

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://xquery.com/pipermail/talk/attachments/20051107/502eaaff/attachment-0001.htm

More information about the talk mailing list