Static typing just means that you annotate you code with your expectations so you can some automated error and consistency checking. And in languages with type

Static typing just means that you annotate you code with your expectations so you can some automated error and consistency checking. And in languages with type inference, you largely don't even have to do the annotating.