W3C home > Mailing lists > Public > public-qt-comments@w3.org > October 2007

Better static type checking for XQuery

From: Bill Patton <bpatton_temp8345@cogneticsystems.com>
Date: Wed, 17 Oct 2007 13:15:08 -0400
To: public-qt-comments@w3.org
Message-Id: <20071017165929.M99215@cogneticsystems.com>

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:15:34 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:20 UTC