<div class="gmail_quote"><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">WASH is full of wonderful ideas . packed in a not so wonderful syntax. It is worth to evolve it.<div>
<br><div>WASH does force form safety in a similar way to <a href="http://hackage.haskell.org/package/formlets" target="_blank">Formlets </a>: because the form and the form read code are generated automatically by a class instance. So there is no need for, type checking safety </div>
<div><br></div><div>The problem comes when the form is generated and/or maintained( edited by some people (some forms have lot of formating in the real world) while the form handling code is .maintained by some other people, the programmers.</div>
<div><br></div><div>In this real case , type cheching is very important.</div><div><br><div class="gmail_quote">2011/3/2 Marc Weber <span dir="ltr"><<a href="mailto:marco-oweber@gmx.de" target="_blank">marco-oweber@gmx.de</a>></span><div>
<div></div><div class="h5"><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Excerpts from Alberto G. Corona's message of Wed Mar 02 20:53:28 +0000 2011:<br>
<div>> Some time ago I forgot to forward this message to thie ur versus Haskell<br>
</div>> <<a href="http://www.haskell.org/pipermail/haskell-cafe/2011-January/088060.html" target="_blank">http://www.haskell.org/pipermail/haskell-cafe/2011-January/088060.html</a>>discussion,<br>
<div>> (as usual)<br>
> ---<br>
> The most impressive feature (of ur) is the compile time checking of<br>
> conformance between the form and the form results. This can be done in<br>
<br>
</div>See WASH (-> hackage). So there is a Haskell implementation. There are small<br>
differences though: urweb has nicer URLS which should be much more SEO<br>
friendly.<br>
<br>