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 ]

Jeff Lowery scripsit:

> Real numbers aren't a type??? 

Well, if a type is just a set/class, then yes, they are.  I think it more
useful to exclude uncountable classes from the types.  Floating-point
numbers are definitely a type: they are countable and in fact finite.
Integers and rational numbers are a type: countable but not finite.

John Cowan                              jcowan@reutershealth.com
http://www.ccil.org/~cowan              http://www.reutershealth.com
Thor Heyerdahl recounts his attempt to prove Rudyard Kipling's theory
that the mongoose first came to India on a raft from Polynesia.
        --blurb for _Rikki-Kon-Tiki-Tavi_


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

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