Правильным следует признать такой стиль программирования, при котором дается описание всех атрибутов переменных, даже если часть из них может быть очевидна по умолчанию. Описание атрибутов в явном виде помогает качественному документированию программы; если же какие-то атрибуты переменных не определены, то при изменении условий, допускающих умолчание, нормальная работа программы существенно нарушится.

Явное описание атрибутов переменных предпочтительно еще и по той причине, что оно заставляет программиста вникать в их сущность. Это особенно важно для функций, введенных программистом, и для списков параметров, так как здесь необходимо иметь твердую уверенность в правильности описаний. Описание всех переменных в явном виде должно исключить один из широко распространенных типов программных ошибок, а именно ошибок, связанных с незнанием физического смысла переменных. В дополнение к сказанному рекомендуется проверять, все ли типы данных в одном операторе совместимы. Разнотипность данных в пределах одного оператора может приводить к труднообнаруживаемым ошибкам.