&gt;You act as though deadlocks in Rust are trivial and pervasive, but they aren&#x27;t<p>Writing nontrivial multithreaded code using thread and mutex primitives is very hard to get right (not only due to data races, but also race conditions and deadlocks). Has your experience been different?<p>&gt;Show me a language that statically prevents deadlocks<p>OK, idiomatic Go and Erlang will never deadlock. Sure, you <i>can</i> use mutexes in Go, but unlike in Rust they aren&#x27;t the only means of achieving high levels of concurrency (in fact, they are explicitly discouraged).<p>I find this attitude from the Rust community disheartening. Not everything needs to be statically verified to be useful.