Announcement: Typeful [x]html combinators -- pre-release 0
moonlite at dtek.chalmers.se
Tue Jan 8 06:14:36 EST 2008
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 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. :)
More information about the Libraries