Mypy is a research project by a Finnish Ph.D. student, Jukka Lehtosalo, http://www.cl.cam.ac.uk/~jal82/index.html, at Cambridge Computer Laboratory, http://www.cl.cam.ac.uk/ , supported by various organizations, to make a variant of Python with dynamic and static typing, and the ability to compile to native code, so that no VM is needed to run programs.
It is in an early stage of development.
This page explains the motivation for mypy:
I had blogged about Nuitka, another roughly similar Python project, earlier.
- Vasudev Ram