Thanks for the feedback. I guess there's one action item for Mark below:
On Tue, Feb 18, 2020 at 2:58 PM Michael Sullivan sully@msully.net wrote:
Overall I like this PEP and am fine with the decision to postpone consideration of changes of the arguments with maybe one caveat: I'd like to be at least reasonably confident that this mechanism can be *extended* into handling parameter modification. It would be unfortunate if we end up with a ton of distinct ways to type decorators.
And with parameter modification I presume you mean that eventually we'll want to be able to describe decorators that add/remove parameters, like the original issue (https://github.com/python/mypy/issues/3157). In particular, I could imaging a decorator that turns printf() into fprintf() and another that does the opposite (sorry for the C analogy).