[Ur] Very interesting, but mind-exploding

[Marcelo de Moraes Serpa]

Thanks guys for the kind responses!

@Sergey, that looks like a plan. Also @MarcWeber is already helping me with
the basics and doing a very good job on it (Thanks Marc!).

@Adam ur/web is very exciting and impressive, I must say! The more I learn
the language itself and break into the more functional mindsets, I really
see how powerful and sweet it is.

The problem comes when trying to map previous problem-solving paradigms to
ur/web. I come from a Ruby/Rails background mostly, and right now the Ruby
community is quite spoiled, spoiled to the point you can basically get an
application up and running by gluing gems together, in most cases. It's
fast, and it's hard to get blocked, so it's good for business (specially
startups).

Perhaps a cookbook booklet with more real world "recipes" would be helpful,
or, after as I understand more how ur and web work, a Ruby/Rails comparison
would be useful.

Keep up the great work!

--
Marcelo.







On Sun, Nov 17, 2013 at 6:57 AM, Adam Chlipala <adamc at csail.mit.edu> wrote:

> On 11/16/2013 10:37 PM, Marcelo de Moraes Serpa wrote:
>
>> I did stumbled upon something that I wasn't expecting - the manual and
>> the overwhelming math equations that start on page 20. That just killed my
>> inspiration to go on :(
>>
>
> Thanks for pointing out this opportunity to make the manual less scary.
>  In the public Mercurial repo (so for a version of the manual that will go
> up with the next Ur/Web release), I've added a note there saying,
> essentially, that that section is safe to skip, but that the notation there
> is standard and the most effective way of conveying the information.  I
> included a pointer to a textbook for those who'd like to learn about it so
> that they're ready to digest the technical details of Ur typing.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20131121/7fd8544a/attachment.html>