Announcement: Typeful [x]html combinators -- pre-release 0

[Mattias Bengtsson]

On Tue, 2008-01-08 at 10:31 +0000, Jon Fairbairn wrote:
> Thanks for finding that (I do hate the way that the W3C
> issues proper formal definitions of things but makes the
> informal one the normative one); I can use it to check
> attribute types and so on. Does it enforce the nesting
> restrictions (described in app. B of the xhtml1 dtd)?
> Looking through it with little knowledge of schemas, I can't
> see that it does.

Yes this is really frustrating. 
I think the schema is supposed to enforce nesting restrictions. At least
that's how i interpret paragraph 1.3[1] in the Note. It doesn't seem to
be able to enforce everything though (eg. the legend example in 1.3).

> > Making a program for generating ADT's and combinators from XML schemas
> > to provide type safe XML is something i'd very much like to do someday.
> 
> It would be a good thing to do, though not something I'm
> thinking of just now (a bit too much for me at the moment).

Same here i think. It's on my TODO though. :)


Mattias


1: http://www.w3.org/TR/xhtml1-schema/#why