Am 09.06.20 um 03:35 schrieb Dominik Gabi:
1. I would like to re-focus the discussion on the pull request linked to in the initial post rather than the particular semantics of unbound type variables in callables: https://github.com/python/typeshed/pull/4045
Specifically,
@mrkmndz Sorry for forgetting to answer. Yes, considering theconsequences this has for the typing infrastructure, I think this should be discussed on typing-sig. @srittau: could you clarify what consequences you meant? What's the specific concern that should be discussed?
Please see the referenced PR. In this case, for example, replacing all cases of Callable[[_T], _T] and similar with a protocol in typeshed. As I wrote earlier, now that we have a _typeshed.pyi file, I could live with the definition of a generic IdentityFunction type in that file. But this covers only this particular case. - Sebastian