[Ur] Proofread a paper on Ur/Web?

[Gergely Buday]

Dear Adam,

some comments.

In the first section you emphasize that this and that aspect is how
simple. Now, Ur/Web is anything but simple, and this is not because
you did something wrong: it is because building web applications is
not simple.

Next, beginning with a probably simpler, Hello World example could
come handy to introduce language constructs.

Last, I would not postpone mentioning Javascript compilation to
section 2.2 but would tell readers in the introduction that they can
build server and client abstractions in the very same language. This
is a very strong selling point of Ur/Web.

Sorry for not peeking for your typos, I hope these were of some help.

- Gergely

On 12 October 2014 22:40, Adam Chlipala <adamc at csail.mit.edu> wrote:
> I've written a paper on Ur/Web that will appear at POPL 2015, a research
> conference in the general field of programming languages. Would any of you
> mind reading a draft to see if there are any embarrassing errors, poor
> explanations, inaccurate claims about other frameworks, etc.?  If so, thanks
> in advance!  The paper is here:
>     http://adam.chlipala.net/tmp/urweb.pdf
> I'll keep updating the file at that URL as I fix issues that folks point
> out.
>
> Some of you may know POPL as a conference that involves a lot of dense
> theory.  This particular paper, though, should be accessible to anyone who
> meets the prerequisites that I give for Ur/Web itself: expert on typed
> functional programming languages like ML and Haskell.  There aren't any
> formal semantics or proofs.
>
> One part of the paper lists production Ur/Web applications.  If you have one
> that I've missed, or if you have a correction to my current description of
> your application, I'd especially appreciate hearing from you!
>
> FWIW, I need to finalize the paper by October 28.
>
> Thanks!
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur