Rust concurrency: the archetype of a message-passing bug
This is a cool technical exploration of some concurrency ideas: but event loops combined with Rust's borrow checker actually make for a re-invention of the actor model from first principles.<p>Languages like Pony, and the actor model more generally, were designed to prevent a whole class of concurrency bugs (same as Rust) - what's interesting is that, like this post shows, they also have unexpected problems with message causality.<p>It makes me wonder if there's an even better abstraction out there which will solve <i>this</i> kind of concurrency bug, and what will arise after these are solved.