[Ur] Blogpost

[Simon Van Casteren]

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.

Simon

Op wo 29 apr. 2020 om 15:23 schreef Adam Chlipala <adamc at csail.mit.edu>:

> 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 at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20200430/62367cfa/attachment.html>