Зачем важна строгость типов в языках программирования?