[Python-ideas] Runtime types vs static types
steve at pearwood.info
Sun Jul 2 23:25:47 EDT 2017
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?
More information about the Python-ideas