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

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

From: <bugzilla@jessica.w3.org>
Date: Fri, 25 May 2012 09:59:01 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-17181-523@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=17181

           Summary: [XPath 3.0] Terminology: "Restricted Union Type"
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XPath 3.0
        AssignedTo: jonathan.robie@gmail.com
        ReportedBy: mike@saxonica.com
         QAContact: public-qt-comments@w3.org


The specification currently uses the term "restricted union type" to mean, in
effect, a union type that is not derived by restriction. This seems extremely
confusing, since a reader could easily assume that it means exactly the
opposite. 

I propose that the concept should be renamed "constructed union type", since a
union type that is not derived by restriction is always derived by
construction. The term doesn't capture 100% of the semantics, because it is
also required that any union types among the member types of the union are also
constructed union types, but it's much less likely to be misunderstood.

-- 
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 Friday, 25 May 2012 09:59:09 UTC

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