Anyone know how this project's capabilities compare the the PEP-484 checking built-in to IDEA/PyCharm? That implementation goes "above and beyond" inferring types based on use when there's no explicit annotations. I'm wondering if other projects are doing that kind of thing.
We haven't yet released a type inference feature, but have been building and using one internally. It helps by adding type annotations directly, based on what the type checker is able to infer. We're hoping to release this feature in the future.
