mypy, Python variant with goal of dynamic and static typing and compilation to native code

mypy - A New Python Variant with Dynamic and Static Typing

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.

http://www.mypy-lang.org/about.html

mypy-lang.blogspot.co.uk

This page explains the motivation for mypy:

http://www.cl.cam.ac.uk/~jal82/interests.html

I had blogged about Nuitka, another roughly similar Python project, earlier.

- Vasudev Ram