На этом шаге мы рассмотрим, что это такое.
Аннотации типов - это способ аннотирования ожидаемых типов переменных, параметров функций и типов возвращаемых функций в Python. Другими словами, это способ, которым программист может указать тип данных, ожидаемый в определенной части программы на Python. Большинство программ на Python написаны без аннотаций типов. На самом деле даже если вы программист на Python среднего уровня, то вполне возможно, никогда прежде не видели программу на Python с аннотациями типов.
Поскольку Python не требует от программиста указывать тип переменной, единственный способ выяснить его без аннотаций типов - это инспекция (буквально чтение исходного кода до данной точки или запуск кода и вывод типа) либо документирование. Это проблематично, поскольку затрудняет чтение кода на Python (некоторые утверждают обратное, и мы вернемся к этому вопросу позже). Другая проблема состоит в следующем: поскольку Python очень гибок, он позволяет программисту использовать одну и ту же переменную для ссылки на несколько типов объектов, что может вызвать появление ошибок. Аннотации типов способны помочь предотвратить такой стиль программирования и устранить эти ошибки.
Теперь, когда в Python есть аннотации типов, мы называем его языком с постепенной типизацией, что означает: при желании вы можете задействовать аннотации типов, но не обязаны это делать. В данном кратком введении мы надеемся убедить вас (возможно, вопреки вашему сопротивлению тому, как сильно аннотации типов меняют внешний вид языка), что наличие доступных аннотаций типов - это хорошо и это именно то, чем стоит пользоваться при написании кода.
На следующем шаге мы рассмотрим, как выглядят аннотации типа.
