- From: Bill Patton <bpatton_temp8345@cogneticsystems.com>
- Date: Mon, 13 Mar 2006 14:59:33 -0500
- To: public-xqts-comments@w3.org
- Cc: www-ql@w3.org
Dear Sirs: Should the XQuery test suite pass the static typing rules defined in the formal semantics document? If the answer is no, then an implementation which supports static typing will not be able to pass the test suite. A related question is, should the XQuery use cases pass static type checking? Both the Use Case and XQTS documents are silent on the topic of static type checking. Checking the alignment of XQTS static typing results with the FS document offers several benefits: 1) A set of well typed test cases can be identified as a reference. 2) Errors and omissions in the FS document can be identified. 3) The strictness of the FS typing rules can be studied and adjusted. Note that it is easy to pass the test cases devoted explicitly to static typing. The greater challenge (and better test of static typing) may be successfully type checking the rest of the test cases. Regards, Bill Patton Cognetic Systems, Inc. 2180 Satellite Blvd. Duluth, GA 30097 (678) 533-4405 www.cogneticsystems.com -- This message uses a temporary e-mail address to defeat spammers. For the latest contact information please call (678) 533-4405
Received on Tuesday, 14 March 2006 07:32:59 UTC