Next steps to get type hinting become reality?
Based on the thead "Better type hinting" here are new questions: We have: PEP 484, Python2, the standard library and a dream called "type hinting". Is it possible to get type hinting for the standard library of Python2? If not, how to get type hinting for the standard library of Python3? What can students with some spare time do, to improve the current situation? Regards, Thomas Güttler -- http://www.thomas-guettler.de/
The plan is to have volunteers produce stubs for the stdlib, and to contribute those to typeshed: https://github.com/JukkaL/typeshed (that's a shared resource and will eventually be transferred to the PSF, i.e. https://github.com/python/) If you want to use type annotations in Python 2, there's this hack: https://github.com/JukkaL/mypy/tree/master/mypy/codec On Sat, Jun 6, 2015 at 8:28 AM, Thomas Güttler <guettliml@thomas-guettler.de
wrote:
-- --Guido van Rossum (python.org/~guido)
Am 06.06.2015 um 19:13 schrieb Guido van Rossum:
typeshed is referenced in the PEP. But something like your above answer to my question is missing in the PEP 484. Why not add a new chapter to the PEP with explains this roadmap? Should I open an issue for pep 484? Regards, Thomas Güttler -- http://www.thomas-guettler.de/
The plan is to have volunteers produce stubs for the stdlib, and to contribute those to typeshed: https://github.com/JukkaL/typeshed (that's a shared resource and will eventually be transferred to the PSF, i.e. https://github.com/python/) If you want to use type annotations in Python 2, there's this hack: https://github.com/JukkaL/mypy/tree/master/mypy/codec On Sat, Jun 6, 2015 at 8:28 AM, Thomas Güttler <guettliml@thomas-guettler.de
wrote:
-- --Guido van Rossum (python.org/~guido)
Am 06.06.2015 um 19:13 schrieb Guido van Rossum:
typeshed is referenced in the PEP. But something like your above answer to my question is missing in the PEP 484. Why not add a new chapter to the PEP with explains this roadmap? Should I open an issue for pep 484? Regards, Thomas Güttler -- http://www.thomas-guettler.de/
participants (2)
-
Guido van Rossum -
Thomas Güttler