[Python-ideas] Runtime types vs static types

[Greg Ewing]

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.

-- 
Greg