<br><br><div class="gmail_quote">On Mon, Sep 14, 2009 at 11:29 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;">
**I have just some rudimentary acquaintance<div class="im"><br>
with SML (I learned it a few years a go) and need to refresh my knowledge.<br>
I know very little about Haskell and dependent types!<br>
<br>
What is your recommendation?<br>
How and where should I begin to learn about Ur/Web?<br>
Note that I am coming from a non CS background.<br>
</div></blockquote>
<br>
I would recommend writing some significant programs in both Haskell and ML. The latter means either of SML or OCaml. I've not yet invested any effort in creating documentation for people who haven't already done as I'm suggesting here; maybe someone else will write such documentation some day.<br>
<br></blockquote><div>Thank you very much for your feedback!<br><br>It reminds me of an exercise in Lang's Algebra book in a short chapter on Homology <br>where he recommends the beginners to take a book on homological algebra and <br>
prove all theorems therein as an exercise:-)<br> <br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
_______________________________________________<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>