<div dir="ltr">Good catch, I updated to use List.app! I kept the queryL1 into .app though, I feel it's a bit cleared for people who don't know Ur/Web... small thing though.<div><br></div><div>Simon</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Op wo 29 apr. 2020 om 15:23 schreef Adam Chlipala <<a href="mailto:adamc@csail.mit.edu">adamc@csail.mit.edu</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Thanks so much for sharing this link, which I've added to the Ur web site.<br>
<br>
One bit of Ur/Web style advice: I recommend List.app over List.mapM for <br>
cases where you just want to perform a side effect on each list element, <br>
rather than constructing a new list.  That change in your examples would <br>
make them a bit shorter and epsilon more time-and-memory-efficient.<br>
<br>
You also have an example of queryL1 followed by List.mapM.  I would just <br>
use queryI1 there.<br>
<br>
On 4/27/20 2:28 AM, Simon Van Casteren wrote:<br>
> Hi everybody,<br>
><br>
> In case anyone is interested, I wrote a blog post some time ago about <br>
> my experiences with Ur/Web.<br>
><br>
> <a href="http://frigoeu.github.io/urweb1.html" rel="noreferrer" target="_blank">http://frigoeu.github.io/urweb1.html</a><br>
><br>
> Simon<br>
<br>
_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</blockquote></div>