News for hackers. Stuff that matters.
Re:Show HN: Shareable reasons to upgrade to Python 3 by Animats on Thursday August 10, 2017 @05:55PM (#14984695)
Now, static type checking is provided by systems separate from the language implementation, but the (sic) still exists.

That's almost a direct quote from the static typing proposal. No such checker existed at the time. There's a half-completed one, "mypy".[1] It's a bit different from Python 3.6 type annotation, though it tries to stay close.

Re:Show HN: Shareable reasons to upgrade to Python 3 by pddubs on Thursday August 10, 2017 @09:28PM (#14985951)
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.