Question: Partial callable signature #6077

Activity

1. JelleZijlstra commented on Dec 18, 2018

   

   JelleZijlstra

   on Dec 18, 2018

   Member

   More actions

   You can do this with callable protocols (https://mypy.readthedocs.io/en/latest/protocols.html#callback-protocols).

   👎React with 👎2Reacted by Leah Einhorn and Randolf Scholz
2. mehdigmira commented on Dec 18, 2018

   

   mehdigmira

   on Dec 18, 2018

   Author

   More actions

   I was not able to make it work with callable protocols either

   from typing import Any
   
   from typing_extensions import Protocol
   
   
   class DecoratedF(Protocol):
       def __call__(self, a: str, *args: Any) -> None: ...
   
   
   def g(f: DecoratedF): ...
   
   
   @g
   def f(a: str, b: str) -> None: ...

   Am I doing smth wrong ?
3. ilevkivskyi commented on Dec 18, 2018

   

   ilevkivskyi

   on Dec 18, 2018

   Member

   More actions

   This is actually very similar to #5876 (see also a decorator example there). Which is opposite to the idea of callback protocols in some sense. Callback protocols allow to express signatures that are impossible to express using Callable syntax. However, there is something that can be expressed using Callable that can't be expressed as a signature, for example Callable[..., int] (with literal ...).

   Potentially we can just also allow special meaning for *args: Any, **kwds: Any at the end of a signature to mean "I don't care" instead of "Should allow all possible calls".

   👍React with 👍1Reacted by Leah Einhorn
4. ilevkivskyi

   added

   feature

   needs discussion

   priority-1-normal

   on Dec 18, 2018
5. JukkaL commented on Jan 29, 2020

   

   JukkaL

   on Jan 29, 2020

   Collaborator

   More actions

   We don't want to support a non-standard extension to the callable syntax, so proposed changes should go through the typing issue tracker or typing-sig@.
6. JukkaL

   closed this as completedon Jan 29, 2020