[Haskell-cafe] type safe web forms at compile time Was: Re: Ur vs Haskell

[Marc Weber]

Excerpts from Alberto G. Corona's message of Wed Mar 02 20:53:28 +0000 2011:
> Some time ago I forgot to forward this message to thie ur versus Haskell
> <http://www.haskell.org/pipermail/haskell-cafe/2011-January/088060.html>discussion,
> (as usual)
> ---
> The most impressive feature (of ur) is the compile time checking of
> conformance between the  form and  the form results. This can be done in

See WASH (-> hackage). So there is a Haskell implementation. There are small
differences though: urweb has nicer URLS which should be much more SEO
friendly.