Какова роль проверки типов в процессе разработки программного обеспечения?