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:

> Ok.  Still, he said 
> "types first and formost define a concept of membership.
> Such definitions must be formal and unambiguous."
> So are you saying "unambiguous" means countable?

No, that's a side constraint.  Real numbers are a class/set with uncountably
many members, but not a type.  Floating-point numbers are a type.

Only do what only you can do.           John Cowan <jcowan@reutershealth.com>
  --Edsger W. Dijkstra,                 http://www.reutershealth.com
    deceased 6 August 2002              http://www.ccil.org/~cowan


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

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