python - 在 mypy 中提取可调用对象的类型

Question

假设我有这些功能：

def mogrify(a: int) -> bool:
    return bool(a)

def stream(b: int, f: Callable[[int], bool]) -> bool:
    return f(b)

我有一个规范的回调，所以我希望能够执行以下操作：

MyCallback = reveal_type(mogrify)

def stream(b: int, f: MyCallback) -> bool:
    return f(b)

除了实际上没有做我想做的事情之外，reveal_type它本身不是 PEP 484 的一部分，所以我不能使用它。