Michael Kay scripsit:
> A type just becomes an opaque
> object that can tell you whether an instance conforms to it or not (and
> also, whether another type is a subtype or not).
That is very very close to the RELAX NG view of a (simple) type: it can
tell you if an instance conforms to it, and it can tell you if two
instances represent the same value (e.g. "0" and "00" are the same
for type xsd:decimal and its subtypes).
--
John Cowan
At times of peril or dubitation, http://www.ccil.org/~cowan
Perform swift circular ambulation, http://www.reutershealth.com
With loud and high-pitched ululation.
