> 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
