In some environments this is a hard requirement, and will be hard to break. Places where the code is know to have big impact / blast radius and can’t be wrong.

In other environments (most startups founded in the last six months) no human is ever reading any of the code. It’s kinda terrifying but I think it’s where we are going. And here I would argue having strict compilers is way more important.

That's fascinating and insane. Rust will help, but I can't see that working well. In my experience LLMs (even Claude) need quite a bit of handholding.