[Home] [By Thread] [By Date] [Recent Entries]

  • To: ht@c... (Henry S. Thompson)
  • Subject: Re: Constitutionally incapable (was Re: W3C Schema: Resistance is Futile, says Don Box)
  • From: John Cowan <jcowan@r...>
  • Date: Fri, 7 Jun 2002 11:35:48 -0400 (EDT)
  • Cc: simonstl@s... (Simon St.Laurent), xml-dev@l...
  • In-reply-to: <f5bd6v35em6.fsf@c...> from "Henry S. Thompson" at Jun 07, 2002 03:48:33 PM

Henry S. Thompson scripsit:

> 1) There is no way to say in RNG "this schema must be
> deterministic", so there's no way for a normative requirement that you 
> use schemas capable of reliable type assertions to be stated.

It's a work in progress.  Makoto and Kohsuke and others are thinking about
exactly what works and what doesn't.

> 2) There is no notion in RNG of identifying the types that were
> assigned, reliably or not -- indeed the notion of type assignment
> doesn't occur in RNG.  As you and many others so eloquently and
> repeatedly point out, RNG validation delivers a 1-bit result: valid or 
> not, nothing else.

Validation is validation, type inference is type inference.  As I posted
a moment ago, someone could write an RNG-based type inferencer for simple
types today (maybe even make it output the input, decorated with xsi:type
attributes?).

> Certainly a possiblity -- should SOAP wait until you or someone else
> works that out?

Why not?

-- 
John Cowan <jcowan@r...>     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_

Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member