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 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
_______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
