20-50% of C/C++ code is type information

This means a good chunk of your time is wasted with writing down things you already know.

Although there is absolutely no excuse for a statically typed language to have type inference, the actual typing part of programming time is pretty minimal.