static typing, formal semantics at risk

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

static typing, formal semantics at risk

Liam R. E. Quin
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.



Liam Quin, W3C XML Activity Lead, *