[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: overrun with bohemians?


Re:  overrun with bohemians?
Robin Berjon wrote,
> Miles Sabin wrote:
> > I simply can't make sense of the idea of typing without
> > enforcement. Types are constraints ... and an unenforced constraint
> > is no constraint at all. At best it's documentation.
>
> I think this is where we differ. To me a type is just an assertion
> about data. That it properly constrains/validates the data it is
> almost orthogonal.
>
> You may wish to call it documentation. Documentation can be very
> useful, notably when it's machine-readable.

So long as we're talking about programming languages we can differ 
peaceably (on this list, at least).

> In another post you state:
> > Well, no. The basic lexical structure of an XML document instance
> > isn't a type _in_ XML ... in a sense it's the type _of_ XML. I
> > don't think that anyone's complaining that not all character
> > sequences count as well-formed XML.
>
> I think this is another point where understandings differ. Within the
> context of XML, I would consider what you call "the type _of_ XML"
> degree zero of typedness equivalent to the statement that "something
> is of type Thing", ie truistic metadata, pretty much useless as such
> and that can be considered as untyped.

I think you're just mistaken here. This is pretty much an object/meta- 
language confusion. What I called "the type _of_ XML" is completely 
specified by the XML 1.0 REC and serves to distinguish arbitrary 
character sequences from well-formed XML document instances ... IOW, it 
imposes constraints on _strings_, and that's the sine qua non of doing 
XML at all. WXS, OTOH, operates at a different level: it imposes 
constraints on XML document instances.

This isn't in and of itself a bad thing. Problems only arise when those 
constraints are encoded _in_the_document_itself_ ... because encoding 
one kind of type information in the instance almost inevitably excludes 
alternative (or absent) type information ... in WXS, using standard 
tools, you can't in general validate against an alternative schema 
without editing the instance. That's WXS's sin.

That said, the original sin was committed by the XML REC (or, rather, by 
SGML before it): embedded DTD public and system ids and internal 
subsets are just as guilty. We can't wind back the clock and opt for 
extrinsic typing across the board, but we don't have to make things any 
worse.

Cheers,


Miles

PURCHASE STYLUS STUDIO ONLINE TODAY!

Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Buy Stylus Studio Now

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Don't miss another message! Subscribe to this list today.
Email
First Name
Last Name
Company
Subscribe in XML format
RSS 2.0
Atom 0.3
 

Stylus Studio has published XML-DEV in RSS and ATOM formats, enabling users to easily subcribe to the list from their preferred news reader application.


Stylus Studio Sponsored Links are added links designed to provide related and additional information to the visitors of this website. they were not included by the author in the initial post. To view the content without the Sponsor Links please click here.

Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member
Stylus Studio® and DataDirect XQuery ™are products from DataDirect Technologies, is a registered trademark of Progress Software Corporation, in the U.S. and other countries. © 2004-2013 All Rights Reserved.