aabur / typing_in_python

Strong Programmers' School. Typing in Python. Useful resources.

Школа сильных программистов. Курс "Типизация в Python"

Полезные ресурсы в отношении типизации в Python из круса "Типизация в Python" Школы сильных программистов. Упомянутые в крусе, а так же найденные в процессе изучения.

Полезные материалы из первой недели курса

• PEP 484 – Type Hints - основополагающее описание синтаксиса и способов использования аннотации типов.
• typing-extensions - бэкпорты typing объектов для старых версий Python.
• stubtest - тестирование аннотаций типов.
• stubgen - автоматическая генерация аннотаций типов.
• flake8-pyi - линтер для .pyi файлов.
• PEP 561 – Distributing and Packaging Type Information - документация для stub пакетов.
• Стиль кодирования stub-файлов.

Полезные материалы из второй недели курса

• The Mypy Blog. Extending mypy with plugins - блог с новостью про добавление плагинов в mypy.
• API плагинов для mypy.
• Тестирование плагинов для mypy.
• pydantic mypy plugin.

Проверка аннотаций типов

• mypy - Дополнительная статическая типизация в Python
• beartype - Невероятно быстрая O(1) проверка типов во время исполнения скриптов на чистом Python.
• deal - Мощная библиотека для написания и тестирования контрактов (Design by contract). Считайте, что это типизация на стероидах.
• pyanalyze - Расширяемый статический анализатор и средство проверки типов.
• pyre - Производительная проверка типов для Python 3.
• pytype - Инструмент для проверки и вывода типов - не требуя аннотаций типов.
• pyright - Быстрая программа проверки типов, предназначенная для больших баз исходных текстов Python. Он может работать в " следящем" режиме и выполняет быстрое инкрементное обновление при изменении файлов.
• pycharm - Python IDE для профессиональных разработчиков с собственной реализацией проверки типов.

Полезные материалы из третьей недели курса

• Типы полиморфизма.
• Тайпклассы в Python.
• Обеспечение принципа единой ответственности в Python - про callable классы с DI.
• Каким мог бы быть асинк?
• Типы высшего порядка в Python.
• phantom-types - библиотека, позволяющая произвольно сужать встроенные типы без каких-либо затрат во время выполнения.
• Parse, don’t validate.

Другие пололезные материалы

• Awesome Python Typing - большая коллекции ресурсов по типизации в Python.
• Variance of generic types in Python - статься о разновидностях общих (generic) типов в Python (PEP 483 – The Theory of Type Hints - Generic Types).
• Covariance, Contravariance, and Invariance — The Ultimate Python Guide - статья о вариативности типов в Python.
• Parse, Don’t Validate | Python Patterns
• Python Type Checking | TestDriven.io

Материалы не по теме курса

• Category Theory for Programmers.
• glom - штука для манипуляции словариками в декларативном стиле.