Hacker News new | ask | show | jobs
by pddubs 3240 days ago
I think mypy can be considered the canonical type checker for python, Guido van Rossum works on that project. It uses python 3.6 type annotations fully as far as I know.