O que type hints e um checker como o mypy realmente te dão?

Type hints são anotações que o Python não aplica em runtime; um checker estático como mypy ou pyright lê elas e reporta inconsistências antes de o código rodar. O retorno é pegar classes inteiras de erro, como um None fluindo onde um valor é obrigatório, além de completar e refatorar muito melhor no editor. Elas também documentam intenção de forma mais confiável que uma docstring, que desatualiza.

Em runtime elas são basicamente comentários, já que o Python guarda e segue em frente. O valor vem de um checker lendo elas. O mypy pega os bugs sem graça que causam a maioria dos incidentes, principalmente valores opcionais fluindo para código que assume um objeto real, e desvio de assinatura depois de uma refatoração em que um chamador foi esquecido. Numa base que eu herdei, com uns sessenta mil linhas e nenhuma anotação, a gente ligou o mypy com quase tudo desabilitado, colocou no CI para a contagem de erros não poder crescer, e aí tipamos módulo por módulo começando pelas fronteiras onde os dados entram. O modo estrito veio depois, por pacote, usando overrides por módulo no pyproject. Seis meses depois ele pegou um None sendo desreferenciado num caminho de pagamento durante o review em vez de às duas da manhã. O outro benefício que as pessoas subestimam é o suporte do editor, porque com tipos de verdade renomear e ir para a definição funcionam mesmo, o que muda o quanto o time se dispõe a refatorar qualquer coisa.