• To: clbullar@i... ("Bullard, Claude L (Len)")
• Subject: Re: Subtyping in XML
• From: John Cowan <jcowan@r...>
• Date: Mon, 9 Sep 2002 17:28:51 -0400 (EDT)
• Cc: jcowan@r... ('John Cowan'), jlowery@s..., aray@n..., xml-dev@l...
• In-reply-to: <2C61CCE8A870D211A523080009B94E430752B91D@HQ5> from "Bullard, Claude L (Len)" at Sep 09, 2002 04:23:26 PM

"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@r...>
  --Edsger W. Dijkstra,                 http://www.reutershealth.com
    deceased 6 August 2002              http://www.ccil.org/~cowan

• References:
  • RE: Subtyping in XML
    • From: "Bullard, Claude L (Len)" <clbullar@i...>

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