A richer type system is not in opposition to good tooling, quite the opposite. Rust&#x27;s strong type system enables fantastic static analysis, which, for example, obviates the need for anything like Go&#x27;s data race detector.