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 <[email protected]>: > 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 > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
