[Python-ideas] Runtime types vs static types

[Steven D'Aprano]

On Mon, Jul 03, 2017 at 11:04:58AM +1200, Greg Ewing wrote:
> Steven D'Aprano wrote:
> >I think that we should assume that 
> >
> >def func(x:Spam()):
> >    ...
> >
> >will always look up and call Spam when the function is defined.
> 
> Personally I think we should be moving towards not even
> guaranteeing that. Then we would have a chance of some
> day ending up with a static typing mechanism that's
> sanely designed and truly fit for purpose.

Did you intend to imply that gradual typing in general, or at least as 
implemented in MyPy, is *insanely* designed and unfit for purpose?



-- 
Steve