[xquery-talk] static typing of XQuery?
mrys at microsoft.com
Thu Sep 21 11:32:32 PDT 2006
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)).
> -----Original Message-----
> From: talk-bounces at x-query.com [mailto:talk-bounces at x-query.com] On Behalf
> Of Michael Kay
> Sent: Thursday, September 21, 2006 5:14 AM
> To: 'Frans Englich'; talk at x-query.com
> Subject: RE: [xquery-talk] 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
> talk at x-query.com
More information about the talk