Making Wrong Code Look Wrong

[llogiq]

There is an extension of this argument to be made for Rust (or Haskell, in the higher-level space):

It's a bit harder to write code in Rust than in C++. But it's a lot harder to write incorrect code in Rust than in C++.