There is a longstanding tension in programming language design between two seemingly irreconcilable desiderata. Rust is the first industry-supported programming language to overcome the longstanding ...