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