说我有这些功能:
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,所以我无法使用它。