I have some mypy/typing stubs here for Docopt. Would this be something that Docopt is interested in doing? I can always use these locally, but I wanted to at least ask if you were open to the idea of adding this stub file to Docopt. It doesn't add any dependencies or anything, or change the way Docopt behaves. It's an opt-in feature that only benefits people that want to use it (see mypy and pep-484).
There is another possible route for people that want to type check with the Docopt module, which is typeshed. They can be added there instead of this repo, but it still requires consent from the Docopt team.
This would catch type errors such as this:
The stubs would need to be updated when function/method signatures change, or new ones are added. I wouldn't mind chipping in if no one else wants to.
I've tried to be as precise as possible with the types, and I've been running it against
What do you think? Is it too much for a simple library like Docopt?