• To: "'Evan D. Lenz'" <elenz@x...>,"'Jonathan Robie'" <jonathan.robie@s...>,"'Mike Champion'" <mc@x...>,<xml-dev@l...>
• Subject: RE: XSLT and XQuery
• From: "Michael Kay" <michael.h.kay@n...>
• Date: Wed, 9 Jan 2002 09:14:09 -0000
• Importance: Normal
• In-reply-to: <NDBBLMPNADEOOKGELJALAEGBCHAA.elenz@x...>
• Reply-to: <michael.h.kay@n...>

> > As yet unspecified? As a member of the XSL WG, surely you
> have read the
> > specification for the type system:
> >
> > http://web3.w3.org/TR/query-algebra/
> >
> > You are also familiar with the issues, especially
> structural vs. named
> > typing. Are you saying that the type system is not specified
> > until we close
> > all the issues?

I think it's worth pointing out that (as far as I understand it) the
thinking on the formal specification has moved on quite a bit since that
document was published, but there isn't yet any replacement document that
describes of the current thinking. In that sense, I think it's actually true
that the type system today is not specified: it exists only in people's
heads and in documents that are unfinished and unpublished.

I would also say that yes, nothing is specified until the fat lady (or
TimBL) sings.

Mike Kay

• References:
  • RE: XSLT and XQuery
    • From: "Evan D. Lenz" <elenz@x...>

• Prev by Date: RE: [ANN] XML Limerick Competition
• Next by Date: Re: [ANN] XML Limerick Competition
• Previous by thread: RE: XSLT and XQuery
• Next by thread: RE: XSLT and XQuery
• Index(es):
  • Date
  • Thread