<br>On Tue, Sep 15, 2009 at 9:15 PM, Anthony Di Franco <span dir="ltr"><<a href="mailto:di.franco@aya.yale.edu">di.franco@aya.yale.edu</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im">On Tue, Sep 15, 2009 at 02:30, nitralime <<a href="mailto:nitralime@googlemail.com">nitralime@googlemail.com</a>> wrote:<br>
><br>
><br>
> On Mon, Sep 14, 2009 at 11:29 PM, Adam Chlipala <<a href="mailto:adamc@impredicative.com">adamc@impredicative.com</a>><br>
> wrote:<br>
>><br>
>> nitralime wrote:<br>
>>><br>
>>> **I have just some rudimentary acquaintance<br>
>>> with SML (I learned it a few years a go) and need to refresh my<br>
>>> 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>
>><br>
>> I would recommend writing some significant programs in both Haskell and<br>
>> ML. The latter means either of SML or OCaml. I've not yet invested any<br>
>> effort in creating documentation for people who haven't already done as I'm<br>
>> suggesting here; maybe someone else will write such documentation some day.<br>
>><br>
> 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<br>
> 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>That's charitable of him. In class he would sometimes advise the<br>
unprepared to commit suicide.<br></blockquote><div>Do you mean the late Lang or Chlipala? <br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div><div></div><div class="h5"><br>
>> _______________________________________________<br>
>> Ur mailing list<br>
>> <a href="mailto:Ur@impredicative.com">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>
><br>
><br>
> _______________________________________________<br>
> Ur mailing list<br>
> <a href="mailto:Ur@impredicative.com">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>
><br>
><br>
<br>
_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com">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>
</div></div></blockquote></div><br>