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] Some random noise on rational type systems for XML

[ Lists Home | Date Index | Thread Index ]

> 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.  

If you make your ur-type "string", doesn't that mean that you are throwing
out the value-space/lexical-space distinction?   How is a integer value
a subtype of a string? 

I guess among the possibilities are that value spaces and lexical spaces
form distinct hierarchies, so a data type should be a mapping from one or more
lexical types to one or more value types. 

Cheers
Rick Jelliffe





 

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

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