- From: Michael Rys <mrys@microsoft.com>
- Date: Wed, 17 Oct 2007 10:23:10 -0700
- To: Bill Patton <bpatton_temp8345@cogneticsystems.com>, "public-qt-comments@w3.org" <public-qt-comments@w3.org>
I think what you are talking about is normally considered dynamic type semantics where parts that always lead to type errors are checked statically (basically you check for type intersection and not subtypes). Best regards Michael -----Original Message----- From: public-qt-comments-request@w3.org [mailto:public-qt-comments-request@w3.org] On Behalf Of Bill Patton Sent: Wednesday, October 17, 2007 10:15 AM To: public-qt-comments@w3.org Subject: Better static type checking for XQuery Dear Sirs, In addition to using more accurate type checking rules, it may be possible to make XQuery static type checking more user-friendly by relaxing some of the rules. Does anyone know of any useful relaxations for static type checking rules which would produce fewer type errors without unduly sacrificing type safety? In order to remain sound, any such relaxations would essentially have to move selected type checking from the static environment to the dynamic environment. -- This message uses a temporary e-mail address to defeat spammers. For the latest contact information please call (678) 533-4405
Received on Wednesday, 17 October 2007 17:23:35 UTC