Yeah this doesn't play out in real world. Look at any large enterprise Java project. People take shortcuts and break things all the time, even with fairly stri

Yeah this doesn't play out in real world. Look at any large enterprise Java project. People take shortcuts and break things all the time, even with fairly strict typing and memory safety. Of course you can enforce things like "no unsafes ever in codebase" on a project, but if you have to reply on guidance for development, then you can simply say "first we write a complete set of tests that are a contract on correct operation, then we develop code", at which point the language choice becomes irrelevant.