For any dropboxers (or others), how does this compare with pytype? <a href="https://github.com/google/pytype" rel="nofollow">https://github.com/google/pytype</a>.
Here's the easy 50% of it: <a href="https://github.com/alcarithemad/typetrace" rel="nofollow">https://github.com/alcarithemad/typetrace</a>
Somewhat off topic but I think that more and more people are learning (the hard way, unfortunately) how important static typing is, and how dynamic typing makes it very difficult to develop and maintain large projects.<p>I think the next generation of successful languages will all be statically typed (whether they will run natively or in a virtual machine is a different (even if related) question).