Re:Exercises in Programming Style
by nullp0tr on Monday March 19, 2018 @09:46AM
(#16618286)
Seeing that mypy is under github.com/python/, you can easily argue that it is in fact the standard tool for type-checking python code.
[ Parent
| on HN ]
And also that the second highest contributor is Guido van Rossum (https://github.com/python/mypy/graphs/contributors).
Re:Exercises in Programming Style
by tom_mellior on Monday March 19, 2018 @10:21AM
(#16618493)
Fair enough, those are reasonable arguments the grandparents could (and should) have made.