The mypy programming language is an experimental Python variant that aims to combine the benefits of dynamic (or “duck”) typing and static typing. Our goal is to have the expressive power and convenience of Python, and also compile-time type checking and efficient compilation to native code, without the need of a heavy-weight VM.
http://www.mypy-lang.org/