[Ur] Learning Ur/Web

[nitralime]

On Mon, Sep 14, 2009 at 11:29 PM, Adam Chlipala <adamc at impredicative.com>wrote:

> nitralime wrote:
>
>> **I have just some rudimentary acquaintance
>> with SML (I learned it a few years a go) and need to refresh my knowledge.
>> I know very little about Haskell and dependent types!
>>
>> What is your recommendation?
>> How and where should I begin to learn about Ur/Web?
>> Note that I am coming from a non CS background.
>>
>
> 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.
>
> Thank you very much for your feedback!

It reminds me of an exercise in Lang's Algebra book in a short chapter on
Homology
where he recommends the beginners to take a book on homological algebra and
prove all theorems therein as an exercise:-)


> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20090915/c4ddec45/attachment-0001.htm>