7 ms·
There's mypy.
by gtklocker 9y ago
There's mypy.
- tom_mellior 9y agoSorry, by "no standard tooling" I meant "no standard tooling" in the sense of no tooling in the standard Python distribution.
- nullp0tr 9y agoSeeing that mypy is under github.com/python/, you can easily argue that it is in fact the standard tool for type-checking python code.
- milliams 9y agoAnd also that the second highest contributor is Guido van Rossum (https://github.com/python/mypy/graphs/contributors https://github.com/python/mypy/graphs/contributors).
- tom_mellior 9y agoFair enough, those are reasonable arguments the grandparents could (and should) have made.