The typed_python project, a nascent effort supported by A Priori Investments, takes a different approach from any of the above. It provides a collection of strongly typed data structures for ...

Data structures—like lists ... That said, Python has recently added support for optional compile-time type hinting, so projects that might benefit from static typing can use it.