Wojtek Narczyński
Hello list,
I have a question.
How to create a DSL for HTML generation, that would (statically) allow only valid HTML to be generated? Parent - child relations, valid attributes only.
Or does such a DSL already exist, perhaps?
I remember that when I was first interested in Haskell, this was something that I really wanted. While it's a couple of years ago now, I think all I could find were a few papers/student projects that explored the idea, but nothing "production ready." I think to get something that satisfies the HTML schema under *any* construction should be a more achievable goal with all the features we have in GHC 7.8, and I might try exploring it again. I think you could do something a lot like blaze, but work with a very rich GADT under-the-hood to carry properties of the schema around. I appreciate this is mostly rambling; I don't have anything I point you to off hand :) - ocharles