Yeah, that's the correctness focus. Some people dislike it as a straitjacket, some even take it as a personal insult because they see it as a skill issue. They, the good devs, shouldn't be held back like that (spoiler: they aren't as good as they think they are).
Personally I like that aspect of Rust, but I also write Python with a typechecker and a loong list of enabled lints in ruff
. I can get the happy path done without it, but having just the happy path often isn't good enough.
Enforced correctness helps a lot with confidence for those of us who know we sometimes make bad assumptions or forget some nuance or detail. But it will be absolutely infuriating for people who can't stand being told they made an error, even one of omission.
I generally agree, but