There is no evidence that any of those things lead to more correctness.
It’s all feels
It’s all feels
People who like rejecting this kind of stuff as 'feels' are ironically also being guided by their 'feels'.
There's no scientific experiment you could run that proves, or disproves, that type systems lead to more correctness. It's a thing you cannot possibly know.
This is why I say that people who keep denying this are vibing based on their feels. Instead of asking for the evidence they just keep saying there can't possibly be any evidence.