static typing of XQuery?

[Michael Rys]

Two reasons that I am aware off:

1. Architectural: Runtime errors are "expensive" in the context of an algebraic, index based optimization and execution engine.
2. Philosophical: Early, compile time error detection in a query is good. You don't want to have a query that runs during testing fail because of a runtime type change. It is easier to relax from conservative to optimistic than vice versa.

Note that I think over time we will be offering both. So far customers have rarely complained about the static typing (and if then about the parent axis rules of inferring anyType (on typed data)).

Best regards
Michael

> -----Original Message-----
> From: http://x-query.com/mailman/listinfo/talk [mailto:http://x-query.com/mailman/listinfo/talk] On Behalf
> Of Michael Kay
> Sent: Thursday, September 21, 2006 5:14 AM
> To: 'Frans Englich'; http://x-query.com/mailman/listinfo/talk
> Subject: RE:  static typing of XQuery?
>
>
>
> > Nope, I don't really expect a grandiose answer from you Mike,
> > but perhaps someone else can hum in. E.g, why would Microsoft
> > be more interested in it than Oracle?
>
> Perhaps because they employ more theorists. Pure conjecture.
>
> Michael Kay
> http://www.saxonica.com/
>
> _______________________________________________
> http://x-query.com/mailman/listinfo/talk
> http://x-query.com/mailman/listinfo/talk