Thank you very much for your feedback!<br><br>Any other feedback is also very much appreciated!<br><br>Regards<br>Nik<br><br><div class="gmail_quote">On Tue, Sep 15, 2009 at 5:05 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@impredicative.com">adamc@impredicative.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">nitralime wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
**As I have already mentioned in my other post<div class="im"><br>
I am aware of two other functional web frameworks<br>
(HOP and Links) which in my opinion provide<br>
a similar "functionality" as Ur/Web!<br>
<br>
I'm just curious about how Ur/Web compares to these frameworks!<br>
</div></blockquote>
<br>
There are many "incidental" differences, but I believe these points distinguish Ur/Web most clearly:<br>
* Non-trivial type-level computation, which enables more expressive statically-typed metaprogramming<br>
* Standard abstraction features from the typed FP world, including modules and type classes<br>
<br>
<br>
_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</blockquote></div><br>