Что такое статическая типизация