OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: Enlightenment via avoiding the T-word

>Regarding validation vs. typing, validation is a kind of type-checking
>(constraints do specify types, just not all the types are 
>named).  However,
>in validation, you only ask if the document was correct, and 
>don't get to
>find out what the types were.

Yes, but as validation and typing are tightly bound in terms of algorithm,
why not perform them both in the same path, for the sheer sake of efficiency
? When validating, you collect a lot of useful data (you know what XSDL
types you are matching against elements), so why no keep this information in
a PSVI to give it to the next layer ?