W3C home > Mailing lists > Public > public-qt-comments@w3.org > December 2011

[Bug 14840] [XDM 3.0] Function types in the type hierarchy diagram

From: <bugzilla@jessica.w3.org>
Date: Tue, 06 Dec 2011 15:38:03 +0000
To: public-qt-comments@w3.org
Message-Id: <E1RXx5n-0001PC-Ol@jessica.w3.org>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=14840

--- Comment #3 from Michael Kay <mike@saxonica.com> 2011-12-06 15:38:01 UTC ---
Specific suggestions. This affects the "first diagram" in F+O section 1.5.

Intro: "The first diagram and its corresponding table illustrate the "item"
type hierarchy. In XDM, items include node types, function types, and built-in
atomic types."

* delete the quotes around "item".

* replace "heirarchy" by "lattice"

* add the sentence: The types form a lattice because in the relationship
expressed by the function derives-from(A, B), a type may be derived from more
than one other type. For example, function(xs:string, xs:string) as xs:int is
derived from (that is, substitutable for) both function(xs:Name, xs:Name) as
xs:int and function(xs:NMTOKEN, xs:NNTOKEN) as xs:int. Equally, an atomic type
A is substitutable for both union(A, B) and for union(A, C).

* add the qualification: The diagram does not attempt to illustrate the
relationships of union types, and only gives a few illustrative examples of
function types".

In the diagram:

* change XDM 1.1 to XDM 3.0

* In the stack of four (green) functions with a common parent, delete the
fourth.

-- 
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 Tuesday, 6 December 2011 15:38:11 UTC

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