[Python-Dev] Remove typing from the stdlib

[Steve Dower]

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