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