[Ur] Learning Ur/Web

[Anthony Di Franco]

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.

>> _______________________________________________
>> 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
>
>