On Tue, Sep 15, 2009 at 02:30, nitralime <[email protected]> wrote: > > > 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:-)
That's charitable of him. In class he would sometimes advise the unprepared to commit suicide. >> _______________________________________________ >> 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 > > _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
