Sept. 3, 2016
10:40 a.m.
On 3 September 2016 at 17:18, Stephen J. Turnbull < turnbull.stephen.fw@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 from initializer type.
I have heard that pytype (https://github.com/google/pytype) does more type inference (although it has some weaknesses). In general, I think it is OK that the amount of annotations needed depends on the type checker (there is actually a note on this in the last revision of PEP 526). -- Ivan