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? > > >> _______________________________________________ > >> 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 >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
