Não consigo acreditar que esperei tanto tempo para mudar de mypy para ty (do criador de uv e ruff). Acho que fui desencorajado por ser anunciado como "pré-lançamento." Absurdos, funciona muito bem! E é literalmente centenas de vezes mais rápido que mypy. É uma diferença qualitativa.