<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 3 September 2016 at 17:18, Stephen J. Turnbull <span dir="ltr"><<a href="mailto:turnbull.stephen.fw@u.tsukuba.ac.jp" target="_blank">turnbull.stephen.fw@u.tsukuba.ac.jp</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Stephen J. Turnbull writes:<br>
<br>
 > My version ... furthermore makes mypy into a units checker,<br>
<br>
That isn't true, mypy does want annotations on all the variables it<br>
checks and does not infer them from initializer type.<br></blockquote></div><br></div><div class="gmail_extra">I have heard that pytype (<a href="https://github.com/google/pytype">https://github.com/google/pytype</a>) does more type inference (although it has some weaknesses).<br></div><div class="gmail_extra">In general, I think it is OK that the amount of annotations needed depends on the type checker<br>(there is actually a note on this in the last revision of PEP 526).<br><br>--<br></div><div class="gmail_extra">Ivan<br><br></div></div>