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