It's not a guarantee, but an environment/language that yells at you when you try to pass a boolean to a function that should only ever accept a string is going

It's not a guarantee, but an environment/language that yells at you when you try to pass a boolean to a function that should only ever accept a string is going to result in a more correct program than one that just... doesn't say anything and lets you happily do things that make zero sense.