<div>As far as I can see, the proposed changes do 3 things:</div><div><br></div><div>(1) Add a few new things especially for layout (the forall/foreach/etc. sort of thing).</div><div>(2) Make normal XML a bit nicer by eliminating closing tags.</div><div>(3) Make XML mixed with Ur/Web "macros" less clunky by eliminating some extra {} and <xml></xml> pairs.</div><div><br></div><div>(1) seems like it should be abandoned in favor of (3). I have no strong opinion on (2). I think the clunkiness addressed by (3) is not that big of a problem. It could be otherwise addressed by a more syntactically lightweight alternative to the <xml></xml> pair.</div><div><br></div><div>I wonder if it would be possible for the parser to manage without explicit <xml></xml> tags at all. I suspect that it is<span></span>, maybe even with just a preprocessing step on the input file. That, I think, would be a nicer solution than introducing new XML-specific macros while reducing clunkiness about as much.</div><div><br></div><div>As for monadic antiquoting: there is the ever-present issue of evaluation order, which would be made implicit by this. Things like SQL queries would make sense to allow, but things like SQL updates would not. This heuristic already exists for ensuring GET requests don't have destructive effects, but it seems like a decent amount of trouble to go through for something that is arguably better when factored into frontend and backend anyway.</div><div><br></div><div><br>On Thursday, June 18, 2015, Gabriel Riba <<a href="javascript:_e(%7B%7D,'cvml','gabriel@xarxaire.com');" target="_blank">gabriel@xarxaire.com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">El 18/06/15 a les 20:34, Gabriel Riba ha escrit:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Since xml is a Monoid (has a neutral element and an append function),<br>
</blockquote>
<br>
I meant <xml/> and join<br>
<br>
<br>
<br>
<br>
_______________________________________________<br>
Ur mailing list<br>
<a>Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</blockquote></div>