On 19.11.2014 09:46, oleg@okmij.org wrote:
Somewhat related is the HSXML library for generating valid XML and HTML. To be precise, the library is designed to express in the type system content model constraints such as: block-level elements like DIV are allowed only in the block-level context; one cannot put DIV within H1, for example. Some items may be polymorphic: for example, TITLE appears in HEAD, it can be an attribute and it can be an element. It can be rendered differently in each case. The same HSXML document may be rendered as HTML or XML (or something else entirely, e.g., PDF).
Very nice syntax, but I have yet to figure out how it works. BTW the error messages are "funny", as being discussed right now in another thread. -- Wojtek