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

[Yitzchak Gale]

Jon Fairbairn wrote:
> ... or,  "whoops! I've writtten another html combinator library."
> History: I was surprised to find that all the Haskell html
> generating stuff I've tried allowed one to construct invalid
> HTML...

This is a wonderful idea, and it is clear that you have
done some serious work here.

> I'm announcing it here because I hope the audience is fairly
> small but discerning

I believe that the audience could be large. As for discerning,
that remains to be seen. :)

What you are doing here is enforcing a DTD using
the Haskell type system. Apart from your plans for
HTML 4.01, perhaps a better generalization would
be to generate typeful combinators that could
validate at compile time for any given XML DTD.

That would be hard. But now that you have fully
worked out the first special case, a good chunk
of the work has already been done.

Regards,
Yitz