13 Nov
2014
13 Nov
'14
1:56 p.m.
On Wed, Nov 12, 2014 at 2:44 PM, Wojtek Narczyński
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?
WASH did that, a long time ago. They mentioned that they intentionally relaxed the rules, since being totally correct was annoying to actually use. There are docs here: http://www2.informatik.uni-freiburg.de/~thiemann/WASH/ Tested with ghc-6.6! It didn't seem to catch on, so maybe it was too heavy for its benefits.