[Ur] Learning Ur/Web

[nitralime]

On Tue, Sep 15, 2009 at 9:15 PM, Anthony Di Franco
<di.franco at aya.yale.edu>wrote:

> On Tue, Sep 15, 2009 at 02:30, nitralime <nitralime at googlemail.com> wrote:
> >
> >
> > 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:-)
>
> 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
> >> Ur at impredicative.com
> >> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
> >
> >
> > _______________________________________________
> > Ur mailing list
> > Ur at impredicative.com
> > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
> >
> >
>
> _______________________________________________
> 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/20090916/e833106a/attachment.htm>