I have seen no evidence of that. With that logic, Java programmers would use "Object" instead of "List<String>" because they have fewer characters to type?
This makes no sense.
This makes no sense.
The basic idea is that type inference would shift the sweet spot for the right amount of typing upwards.