On 17.07.2018 17:05, Guido van Rossum wrote:
This is a good point. I presume specifying this unambiguously would be a huge amount of work, and it would mostly codify mypy's current behavior. I don't think that's within the scope of PEP 484, but it could well be done as a separate PEP (perhaps an informational one?). I hope you understand that I am not volunteering.
An informational PEP sounds about right to me. Such a PEP could also include style recommendations like those from typeshed's CONTRIBUTING file (https://github.com/python/typeshed/blob/master/CONTRIBUTING.md).

I guess I just volunteered to help with such a PEP, although I feel that someone from mypy's core team should take the lead on that. And if I understood this thread correctly, the pytype team is also willing to help out?

 - Sebastian

_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: 
https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com

Reply via email to