W3C home > Mailing lists > Public > www-ql@w3.org > January to March 2009

static typing, formal semantics at risk

From: Liam Quin <liam@w3.org>
Date: Tue, 10 Mar 2009 21:02:01 -0400
To: www-ql@w3.org
Message-ID: <20090311010201.GI26120@w3.org>
Static typing fans,

The XPath and XQuery Formal Semantics document, and the
pessimistic static typing feature shared by XPath 2, XSLT 2
and XQuery, is at risk of being dropped, or at least no longer
being normative.

This is mostly because we don't have resources to do the work.
(there's also a question of to what extent the type system should
be optimistic or poessimistic, but since we don't really have
resources to keep it up to date, it's about to be gone-imistic).

I'm posting because if you are reading this, maybe you are
someone who has time and ability to help us out.

If so, please cantact me.

Thanks!

Liam


-- 
Liam Quin, W3C XML Activity Lead, http://www.w3.org/People/Quin/
http://www.holoweb.net/~liam/ * http://www.fromoldbooks.org/
Received on Wednesday, 11 March 2009 01:02:11 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 11 March 2009 01:02:12 GMT