• To: jlowery@s... (Jeff Lowery)
• Subject: Re: Subtyping in XML
• From: John Cowan <jcowan@r...>
• Date: Mon, 9 Sep 2002 17:47:01 -0400 (EDT)
• Cc: jcowan@r... ('John Cowan'), xml-dev@l... ("Xml-Dev (E-mail)")
• In-reply-to: <D60D8F448216D611A21A00508B62B5BC5D48@e...> from "Jeff Lowery" at Sep 09, 2002 02:41:27 PM

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@r...
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_

• References:
  • RE: Subtyping in XML
    • From: Jeff Lowery <jlowery@s...>

• Prev by Date: RE: Subtyping in XML
• Next by Date: RE: Top 10 commercial XML vocabularies?
• Previous by thread: RE: Subtyping in XML
• Next by thread: RE: Subtyping in XML
• Index(es):
  • Date
  • Thread