Lists Home |
Date Index |
Henry S. Thompson scripsit:
> I doubt it -- the reason for SOAP's dependence on XML Schema is that
> XML Schema provides type assertions for all constituents of the
> message payload, and SOAP marshalling and unmarshalling depend (sensibly)
> on this. RELAX NG is constitutionally incapable of providing reliable
> type assertions.
Actually, providing simple type inferences would be trivial, and the
only reason we hesitate on complex type inferences is that RNG handles
1-ambiguous (indeed N-ambigous) grammars, so a type inferencer would need
to sometimes return multiple types. But this can be avoided by voluntary
restrictions on grammars for those to whom type inferencing is important.
Everyone else would still be free to use ambiguous grammars when they are
useful, of course.
John Cowan <firstname.lastname@example.org> http://www.reutershealth.com
I amar prestar aen, han mathon ne nen, http://www.ccil.org/~cowan
han mathon ne chae, a han noston ne 'wilith. --Galadriel, _LOTR:FOTR_