Thanks so much for sharing this link, which I've added to the Ur web site.
One bit of Ur/Web style advice: I recommend List.app over List.mapM for
cases where you just want to perform a side effect on each list element,
rather than constructing a new list. That change in your examples would
make them a bit shorter and epsilon more time-and-memory-efficient.
You also have an example of queryL1 followed by List.mapM. I would just
use queryI1 there.
On 4/27/20 2:28 AM, Simon Van Casteren wrote:
Hi everybody,
In case anyone is interested, I wrote a blog post some time ago about
my experiences with Ur/Web.
http://frigoeu.github.io/urweb1.html
Simon
_______________________________________________
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur