3 ms·

I am sorry, I'm not following your extended analogy. Could you please elaborate on what "bloodletting" and "modern medicine" represent here?

• TheDong 11y ago
  Not him, but my interpretation is that we're writing C with little testing (treating a few fevers) conforming to modern standards over C with little testing conforming to old standards (leeching). We have languages like Rust and we have proof tools like Coq which can be leveraged to become more memory safe or more provably correct... using those tools would be like using modern medicine. I don't think the analogy is really that great because those tools are still incredibly immature in terms of actual usability.