13:40 <hannes> rgrinberg: in http://rgrinberg.com/blog/2014/12/11/abandoning-async/ you write "Async - attempts to help reasoning about code using the invariant “code between binds cannot be interrupted”."... but the same applies to Lwt (due to being cooperative), or not?

13:41 <hannes> in the end f () >>= fun r -> g r <-- there both f and g won't be interrupted (unless special preemptive magic is called within f and/or g)

13:41 <rgrinberg> hmm yeah that's true. I shouldn't restate it like an async feature

13:42 <rgrinberg> the difference is that >>= will always context switch in async

13:42 <hannes> ack

13:51 <rgrinberg> good idea