On Sun, 28 Jan 2018 11:44:05 +0000, Ola Fosheim Grøstad wrote: > The reference interpreter doesn't make much use of static type > information. I think it makes sense to have separate type checkers until > this new aspect of Python has reached maturity. That doesn't prevent > third parties to implement interpreters that makes use of type > information. > > Professionals won't shy away from using additional tools anyway, so the > only reason to build it into the interpreter is for optimization at this > point.
I should be specific about speaking of the reference implementation. I just think comments that look like code (which is basically what this is) is always a bad idea.
