[Haskell-cafe] Re: using phantom types to validate html

[Heinrich Apfelmus]

Mathijs Kwik wrote:
>
> http://moonpatio.com/fastcgi/hpaste.fcgi/view?id=2575#a2575
> 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

  http://www.informatik.uni-freiburg.de/~thiemann/WASH/#washhtml

which can statically ensure that only well-formed (with a few minor
caveats I think) HTML is generated.


Regards,
apfelmus

--
http://apfelmus.nfshost.com