Re: [Python-Dev] [erratum] Emotional responses to PEPs 484 and 526

2016-09-03 Thread Guido van Rossum
On Sat, Sep 3, 2016 at 8:18 AM, Stephen J. Turnbull wrote: > Stephen J. Turnbull writes: > > > My version ... furthermore makes mypy into a units checker, > > That isn't true, mypy does want annotations on all the variables it > checks and does not infer them from initializer type. But it does!

Re: [Python-Dev] [erratum] Emotional responses to PEPs 484 and 526

2016-09-03 Thread Ivan Levkivskyi
On 3 September 2016 at 17:18, Stephen J. Turnbull < turnbull.stephen...@u.tsukuba.ac.jp> wrote: > Stephen J. Turnbull writes: > > > My version ... furthermore makes mypy into a units checker, > > That isn't true, mypy does want annotations on all the variables it > checks and does not infer them

[Python-Dev] [erratum] Emotional responses to PEPs 484 and 526

2016-09-03 Thread Stephen J. Turnbull
Stephen J. Turnbull writes: > My version ... furthermore makes mypy into a units checker, That isn't true, mypy does want annotations on all the variables it checks and does not infer them from initializer type. Sorry for the misinformation. ___ Pyth