from typing import Callable def f() -> Callable[[], str]: def _() -> str: return "hello world" return _ r = f() s = r() # s は str と判定される
from typing import Callable def f() -> Callable[[], str]: def _() -> str: return "hello world" return _ r = f() s = r() # s は str と判定される