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