Серьёзные проекты всегда пользуются, сверху опционально добавляя mypy. С аннотациями типов жить становится сильно проще. Это радикально облегчает понимание кода в дальнейшем, его поддержку и, особенно, работу в команде. Также, аннотации заставляют лучше проектировать архитектуру проекта, использовать интерфейсы вместо конкретных реализаций (в питоне, правда, это ABC) и вовсю использовать полиморфизм.
А с появлением чудо-pydantic'а жить стало ещё лучше. Ну и fastapi, построенном поверх него и starlette.
Те, кто аннотации не используют, ни разу не разрабатывали ничего сложнее интернет-магазинчика в одно лицо и не поддерживали проект по 2+ лет.
