¿Es posible escribir una anotación de tipo negativa en Python?
Esto puede parecer irrazonable, pero ahora mismo necesito negar una anotación de tipo. Quiero decir algo como esto an_int : Not[Iterable] a_string: Iterable Esto se debe a que escribí una sobrecarga para una función y mypy no me entiende. Mi función se ve así… @overload def iterable(o: Iterable) -> Literal[True] . . . Read more