Back

@rollbrettklauen It's one of the most interesting benefits of the #rust memory model and ownership rules. The compiler can ensure at compile time lots of interesting properties for mutexes, like "one writer, many readers" rule. I think there is a good potential for having some limited Rust-like ownership even in a language with a different memory model.