On Mon, Sep 14, 2009 at 11:29 PM, Adam Chlipala <[email protected]>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 > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
