But when OpenStack went to evaluate a static code analysis tool to integrate into its continuous integration and continuous delivery systems, they couldn't find a product that dealt with Python.

Some languages have specific loop control flow features that differ from C (e.g. Python’s for/else and Ada’s loop), all of which affect a static analysis.

Mypy’s approach to static typing in Python has already influenced the language. Type-hinting syntax was officially enshrined as an extension to Python 3.5, although it’s also possible to use ...