Типизация в Python: mypy, typing, linting

Владимир Обризан, к. т. н., директор DESIGN AND TEST LAB. 1. Что такое типизация, аннотации типов и зачем они нужны в языке, который по своей природе имеет динамическую типизацию? 2. Как типизация помогает допускать меньше ошибок, а тем самым быстрее закрывать задачи и уходить с работы раньше минимум на 1 час в день. 3. Как настроить автоматическую проверку типов на локальном компьютере, а также на CI-сервере. 4. Примеры и туториал по включению типизации в новом проекте, а также как поэтапно включить в существующий проект.