> Go has great concurrency support, but Rust has provably-correct concurrency.
I believe it's incorrect to say Rust has provably-correct concurrency. It prevents data-races, but not race conditions: https://doc.rust-lang.org/nomicon/races.html.
> Go has great concurrency support, but Rust has provably-correct concurrency.
I believe it's incorrect to say Rust has provably-correct concurrency. It prevents data-races, but not race conditions: https://doc.rust-lang.org/nomicon/races.html.