<div dir="ltr">Thanks guys for the kind responses!<div><br></div><div>@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!).</div><div><br></div>
<div>@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.</div><div><br></div><div>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).</div>
<div><br></div><div>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.</div><div><br></div><div>
Keep up the great work!</div><div><br></div><div>--</div><div>Marcelo.</div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Nov 17, 2013 at 6:57 AM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On 11/16/2013 10:37 PM, Marcelo de Moraes Serpa wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
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 :(<br>
</blockquote>
<br></div>
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.<br>

</blockquote></div><br></div>