[Ur] Learning Ur/Web

[Anthony Di Franco]

On Wed, Sep 16, 2009 at 00:07, nitralime <nitralime at googlemail.com> wrote:
>
> 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?

Lang, of course.  I still don't know Chlipala.