05:02 <d_bot> <PureFunctor> Is there anything in Stdlib/Core that looks like a monadic traversal? I'm trying to do something like: `traverse : (a' -> b' result) -> a' list -> (b' list) result`

06:40 <d_bot> <RegularSpatula> The Jane Street libs have `all` and `combine_errors` functions in the Result and Or_error modules (all is in Option too)…you could `map` then do one of those

06:51 <d_bot> <PureFunctor> Gotcha, though I ended up writing an auxiliary function as I had to traverse through some state

14:06 <ns12> Does anybody here use Eliom for writing web apps? I have the feeling that it is one of those academic projects that have little uptake outside academia.

14:07 <ns12> Opium appears to be a more pragmatic option. Does anyone here use Opium for web apps?

14:12 <d_bot> <glennsl> Dream seems to be the new hot thing now: https://github.com/aantron/dream

14:12 <d_bot> <glennsl> And it has the documentation you'd expect from @aantron, which is promising

14:13 <ns12> Yes, but Dream is still in *alpha*.

14:28 <d_bot> <glennsl> So is opium, judging by its version number

14:35 <octachron> Besport is still using Eliom, isn't it?

17:20 <d_bot> <hcarty> Eliom, Opium and Dream are all used in significant projects from what I understand. @octachron is correct about Besport and Eliom from what I've heard, at least a few places are using opium and Dream is backing the new work in progress OCaml website if I recall correctly

17:23 <d_bot> <hcarty> And Anurag's new parser for cohttp makes cohttp far more performant than it was previously, very competitive with httpaf, for large numbers of concurrent client requests

23:09 <rgrinberg> Leonidas \o/