No puedo creer que haya esperado tanto tiempo para cambiar de mypy a ty (del fabricante de uv y ruff). Creo que me desanimó que se anunciara como "pre-lanzamiento". ¡Tonterías, funciona muy bien! Y es literalmente cientos de veces más rápido que mypy. Es una diferencia cualitativa.