[Python-ideas] [Python-Dev] What should a good type checker do? (was: Please reject or postpone PEP 526)

[Stephen J. Turnbull]

Koos Zevenhoven writes:

 > What's up with the weird subthreads, Stephen?!

Moving to Python-ideas?  Doing what should have been done earlier, and
which Guido explicitly requested.

If you're referring to the cross-post to python-dev, I was hoping to
encourage motion of the thread by setting reply-to and saying so.
Evidently that traditional practice is a mistake on Python channels,
as it won't be respected or even noticed.