It is possible for a language to not have these declaration and still be static (ie; compile-time type inference).