Описание тега python-typing
Подсказки типов в python, как указано в PEP 484 и PEP 483, являются дополнительной функцией, позволяющей проводить подробный статический анализ исходного кода python сторонними средствами проверки типов. Популярные сторонние средства проверки типов включают MyPy , Pylance , Pyright , Pyre и встроенную проверку типов PyCharm .
Поддержка подсказок типа в python обеспечивается модулем typing . Обсуждение предлагаемых усовершенствований
typingмодуль и синтаксис python-typing размещаются в списке рассылки typing-sig .
Соответствующие политически значимые лица
Начиная с PEP 484, ряд последующих PEP изменили, улучшили и расширили структуру Python для аннотаций типов, в том числе:
PEP 526: «Синтаксис для аннотаций переменных»
PEP 544: «Протоколы: структурное подтипирование (статическая утиная типизация)»
PEP 561: «Информация о типе распространения и упаковки»
PEP 563: «Отложенная оценка аннотаций»
См. также: заявление Руководящего совета Python от апреля 2021 г. относительно будущего этого PEP.
PEP 585: «Универсальные подсказки типов в стандартных коллекциях»
PEP 586: «Буквальные типы»
PEP 589 : «TypedDict: подсказки типов для словарей с фиксированным набором ключей»
PEP 591: «Добавление окончательного квалификатора к набору текста»
PEP 593: «Гибкие функции и аннотации переменных»
Представляем
typing.AnnotatedPEP 604: «Разрешить запись типов объединения как X | Y»
PEP 612: «Переменные спецификации параметров»
PEP 613: «Псевдонимы явных типов»
PEP 647: «Защита пользовательского типа»