[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: Subtyping in XML

• To: jlowery@s... (Jeff Lowery)
• Subject: Re: Subtyping in XML
• From: John Cowan <jcowan@r...>
• Date: Mon, 9 Sep 2002 17:26:56 -0400 (EDT)
• Cc: clbullar@i... ("'Bullard, Claude L (Len)'"), jlowery@s... (Jeff Lowery), jcowan@r... ('John Cowan'), aray@n..., xml-dev@l...
• In-reply-to: <D60D8F448216D611A21A00508B62B5BC5D44@e...> from "Jeff Lowery" at Sep 09, 2002 02:14:45 PM

Jeff Lowery scripsit:

> I guess the point I'm trying to make is that we seem to narrow our
> definitions of universal types to only those that have validatable
> membership and universal representation.  There are a lot of well-understood
> types they fail both criteria.
> 
> Prime numbers.

Say what?  Every prime number has a unique lexical representation,
and there is an effective test for telling primes from non-primes.
That looks like universal representation and validatable membership to me.
Whether it's important to any particular user to actually validate is
another concern.  If so, the receiver just specifies a local scheme that
specifies xsd:integer rather than jl:prime as the type.

Now if you wanted a type without either, consider "beautiful thoughts".

-- 
John Cowan  jcowan@r...  www.ccil.org/~cowan  www.reutershealth.com
"If I have not seen as far as others, it is because giants were standing
on my shoulders."
        --Hal Abelson

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

• Prev by Date: Re: Dave Winer's RSS 2.0
• 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