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