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
_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe:
https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
