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] What are the characteristics of a good type system for XML

[ Lists Home | Date Index | Thread Index ]

Dare Obasanjo scripsit:

> Those that want validation can be satisfied with a "type system" where
> the simple types are either strings or [named] regular expressions that
> restrict the lexical space of a particular string.

Almost, but not quite.  The regexes needed to capture a floating-point
range would be extremely daunting, perhaps not possible.  Ranges and
precisions need their own non-regex representation in the system.

> Those that want type
> augmented infosets want them so that they can perform operations on
> values depening on what types they are. They want to add numbers, sort
> dates, concatenate strings, compare equivalence of values, substitute
> and promote types,   etc. 

I agree, but I despair of getting a proper mechanism (short of a Turing-
complete programming language) for describing, for a novel type, what
its legal operations are.

-- 
A witness cannot give evidence of his           John Cowan
age unless he can remember being born.          jcowan@reutershealth.com
  --Judge Blagden                               http://www.ccil.org/~cowan




 

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

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