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 _______________________________________________ Python-ideas mailing list Python-ideas@python.org https://mail.python.org/mailman/listinfo/python-ideas Code of Conduct: http://python.org/psf/codeofconduct/