[Haskell-cafe] Re: using phantom types to validate html
apfelmus at quantentunnel.de
Sun Jun 7 07:38:19 EDT 2009
Mathijs Kwik wrote:
> I wanted to use the typesystem to mandate businesslogic (in this case
> w3c validation rules).
You may want to have a look at Peter Thiemann's WASH/HTML
which can statically ensure that only well-formed (with a few minor
caveats I think) HTML is generated.
More information about the Haskell-Cafe