>Which means it's possible the error wasn't caught till it was in production.
Statically typed languages have plenty of errors that aren't caught until production. If you're really serious about compile-time guarantees, you'll want to use something like Haskell, Agda or Coq (in ascending order of extreme guarantees).
Of course, even formal verification won't protect you from an incorrect specification of your program.
Statically typed languages have plenty of errors that aren't caught until production. If you're really serious about compile-time guarantees, you'll want to use something like Haskell, Agda or Coq (in ascending order of extreme guarantees).
Of course, even formal verification won't protect you from an incorrect specification of your program.