[Python-Dev] Remove typing from the stdlib (original) (raw)

Steve Dower steve.dower at python.org
Fri Nov 3 14:37:40 EDT 2017

On 03Nov2017 1124, Guido van Rossum wrote:

A side note (I'm reading all responses but staying out of the discussion):

No static checker should depend on the contents of typing.py, since it's just a bunch of runtime gymnastics to allow types to be evaluated at runtime without errors, with a secondary goal of making them introspectable (some folks don't even agree with the latter, e.g. Mark Shannon). Static analyzers should be able to make strong assumptions about what things defined there mean -- in mypy such assumptions are all over the place, based on the full name of things -- it never reads typing.py. (It reads typing.pyi from typeshed, but what's there is ignored in many cases too.)

Thank you. Very glad to hear I understood it correctly.

Cheers, Steve

More information about the Python-Dev mailing list