OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

 


 

   Re: [xml-dev] Subtyping in XML

[ Lists Home | Date Index | Thread Index ]

"Bullard, Claude L (Len)" scripsit:

> Doesn't that make type synonymous with set?

No.  Types have to be specifiable: there are only countably many types,
but there are uncountably many sets, indeed $2^\aleph_0$ of them.
An easy way to achieve this is to require that types have names.

-- 
John Cowan   jcowan@reutershealth.com   http://www.reutershealth.com
    "Mr. Lane, if you ever wish anything that I can do all you will have
        to do will be to send me a telegram asking and it will be done."
    "Mr. Hearst, if you ever get a telegram from me asking you to do
        anything you can put the telegram down as a forgery."




 

News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS