The OP's statements are about type declaration, which is not necessarily a feature of static typing but of strong typing. It is possible for a language to not

The OP's statements are about type declaration, which is not necessarily a feature of static typing but of strong typing. It is possible for a language to not have these declaration and still be static (ie; compile-time type inference).