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 <[email protected]> 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 > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
