On Wed, Sep 16, 2009 at 00:07, nitralime <[email protected]> wrote: > > On Tue, Sep 15, 2009 at 9:15 PM, Anthony Di Franco <[email protected]> > wrote: >> >> 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. > > Do you mean the late Lang or Chlipala?
Lang, of course. I still don't know Chlipala. _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
