4 ms·
Why not just adopt one into the standard library, seems like a very obvious battery you'd want to include.
by spicybright 6y ago
Why not just adopt one into the standard library, seems like a very obvious battery you'd want to include.
- dragonwriter 6y ago> Why not just adopt one into the standard library, seems like a very obvious battery you'd want to include. Instead, the approach seems to be adopting a standardized system of type annotations into the standard library. While a typechecker may expose a library interface, it's main use is as an executable tool, not a library (unlike annotations themselves), so it's not super critical to have one in the standard library. It might be convenient to have it in the standard distribution, but as a practical matter it's not like there is a problem getting at least one of them that does a suitable job with standard type annotations anywhere you can get Python.
- joshuamorton 6y agoThey have different goals. Pytype does inference, which allows easier bootstrapping. Pyre is fast and supports some nonstandard control flow and taint flow stuff. Pyright supports partial validation for syntactically broken files, for use as part of an ide.
- heavyset_go 6y agoCheck out the typing module[1] from the Python standard library. A lot of it was adopted directly from Mypy. [1] https://docs.python.org/3/library/typing.html https://docs.python.org/3/library/typing.html