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

Re: Some random noise on rational type systems for XML

• To: xml-dev@l...
• Subject: Re: Some random noise on rational type systems for XML
• From: Joe English <jenglish@f...>
• Date: Tue, 06 May 2003 18:57:53 -0700
• In-reply-to: <20030507012838.GE3507@c...>
• References: <20030507012838.GE3507@c...> <20030506182451.4f40d846.amyzing@t...>

John Cowan wrote:
> Amelia A. Lewis scripsit:
> > First principle: the XML ur-type is "string".  Everything in XML can be
                     ^^^^^^^^^^^^^^^^^^^^^^^^^^
> > represented as a string (MUST be representable as a string).  It can
> > therefore be manipulated as a string--truncated, concatenated,
> > case-transformed, etc.
>
> No, I have to disagree here.  Every datatype instance can be *represented*
> by a string, right enough.  That does not mean the instance of that type
> *is* a string.

But the _XML_ ur-type is string.  From the application
point of view, you might have dates, integers, IEEE double
precision floating point numbers, et cetera, but as far
as XML is concerned everything is a string.

If we're talking about a rational type system _for XML_,
then Amelia's first principle is eminently sensible.  In fact,
I'd go even further and say it's the _only_ sensible foundation
for an XML type system.


--Joe English

  jenglish@f...

• Follow-Ups:
  • Re: Some random noise on rational type systems for XML
    • From: Uche Ogbuji <uche.ogbuji@f...>
  • Re: Some random noise on rational type systems for XML
    • From: "Simon St.Laurent" <simonstl@s...>
  • Re: Some random noise on rational type systems for XML
    • From: Arjun Ray <aray@n...>

• References:
  • Re: Some random noise on rational type systems for XML
    • From: John Cowan <cowan@m...>
  • Some random noise on rational type systems for XML
    • From: Amelia A.Lewis <amyzing@t...>

• Prev by Date: Re: Some random noise on rational type systems for XML
• Next by Date: [ANN] MSXML 4 SP2 Released
• Previous by thread: Re: Some random noise on rational type systems for XML
• Next by thread: Re: Some random noise on rational type systems for XML
• Index(es):
  • Date
  • Thread