W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2012

[Bug 17181] [XPath 3.0] Terminology: "Restricted Union Type"

From: <bugzilla@jessica.w3.org>
Date: Mon, 11 Jun 2012 15:22:21 +0000
To: public-qt-comments@w3.org
Message-Id: <E1Se6Rh-0000zr-IO@jessica.w3.org>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=17181

--- Comment #3 from Michael Kay <mike@saxonica.com> 2012-06-11 15:22:21 UTC ---
It depends what you mean by "editorial". If you mean, we can change this
without affecting the syntax or semantics of the language, then yes it is
editorial. If you mean, we can change this without involving the WG in the
discussion, then no, I think the choice of formal terminology is more important
than that. For example, the terms we use in the spec are likely to be reflected
in text books and in error messages issued by products, and as such have a
direct bearing on the usability of the language. 

Your proposed term feels unwieldy, and feels like an attempt to make the term
self-explanatory, which seems doomed to failure (for example, it doesn't
capture the fact that you can't have lists anywhere, but you can have facets at
the level of an atomic type). It's also negative: it says what is outside the
class rather than what is inside it.

The essence of this kind of union type is that its value space is the
mathematical union of the value spaces of one or more atomic types. I'm
inclined to go for simple adjective that has no intrinsic meaning but that
isn't already in use, and that reflects the fact that we're dealing with a
subset of all union types that has very simple properties: perhaps a "pure
union". I'd stlll like to leave "constructed union" on the table, however.

-- 
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Monday, 11 June 2012 15:22:24 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:39 UTC