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

[Greg Ewing]

Stephen J. Turnbull wrote:
> But "forcing" won't happen.  Just ignore the warning.

If I'm using a static type checker at all, I'm going
to be treating its warnings as errors and doing something
to make them go away. So effectively it would force me
to deal explicitly with every instance of int-float
mixing. I wouldn't enjoy doing that.

-- 
Greg