Extrahieren Sie den Typ eines Callables in Mypy
Posted: 01 Jan 2025, 22:33
Angenommen, ich habe diese Funktionen:
Ich habe einen kanonischen Rückruf, also möchte ich stattdessen gerne
etwas tun wie:
Außerdem macht reveal_type selbst nicht wirklich das, was ich will, es ist nicht Teil
von PEP 484, also kann ich das nicht verwenden.
Code: Select all
def mogrify(a: int) -> bool:
return bool(a)
def stream(b: int, f: Callable[[int], bool]) -> bool:
return f(b)
etwas tun wie:
Code: Select all
MyCallback = reveal_type(mogrify)
def stream(b: int, f: MyCallback) -> bool:
return f(b)
von PEP 484, also kann ich das nicht verwenden.