On 04/06/2015 10:11 AM, mozert1 mozert1 wrote:
1. For such ur/web programming, the best is to start with the actual
profitable thing, so I went over the demos at
www.impredicative.com/ur/demo/

And listEdit.ur is a bit too folded , And chat.ur is also somewhat
folded. I am attaching the diff files of the revision to this mail. Or
may be I don't get the sense of things yet.

I don't understand what you mean by "folded," so I can't comment more.

2. Nomenclature thing: could the [signal] monad be renamed to
[permaction] ((dynamic) permanent action), so to parallel the
[transaction] (transient action) monad. and the [signal] operation of
the [signal] monad be renamed to [dynget] (dynamic get). and maybe
push all the way and replace [<dyn source=] by [<dyn permaction=] or
[<dyn connectfrom=] or  [<dynpermaction connectfrom=] and replace
[<ctextbox signal=] by [<ctextbox connectto=] ...

"Signal" is established terminology from functional-reactive programming, so I think it remains a good name for this monad. I haven't seen "permaction" before.

3. Precisely why inria ocsigen is never ever mentioned on the website ?

There's no claim of completeness for comparison with other frameworks, on the Ur/Web site, I think; so that's the reason! Ocsigen is definitely mentioned in the research paper on the design of Ur/Web.

or even on the TechEmpower comparison ?

This one is even easier to answer: because no one contributed an Ocsigen implementation of the benchmarks yet. :) Anyone is free to do so on GitHub.

_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Reply via email to