Unsupported Python Features

Some Python features are not currently supported by mypy.

It should be relatively easy to add support for these features:

• Double underscore name mangling in classes (you can use double underscores but the names are not treated as special)

The features in the list below are more difficult to support. Many of these could be supported, at least in a restricted form, but some will likely remain unsupported.

• Metaclasses
  • Mypy understands simple metaclasses, i.e. it performs attribute and method lookup
  • Mypy plugin mechanism allows mypy to understand specific metaclasses
• Class decorators that modify a class
  • Similar to metaclasses
• Run-time evaluated base classes like class A(foo()): pass
  • Similar to metaclasses
• Run-time addition/mutation of base classes (e.g. registering ABCs)
• Runtime mutation of classes and modules (runtime definition of new methods/functions, etc.)
• Conditional definition of classes (e.g. within if statement)
• Certain idioms involving conditional imports
• __all__ with complex initializer / mutated value
• eval and exec (these can be used but they are opaque to the type checker)