[Home] [By Thread] [By Date] [Recent Entries]
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 jcowan@r... 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.
|

Cart



