[Python-Dev] Remove typing from the stdlib

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.


More information about the Python-Dev mailing list