That's the thing, experienced programmers are also better able to use the type system to encode program invariants, beyond just making sure you don't pass a string where an int is expected.