[sciurus]

Mypy itself may be vaporware at the moment, but it's the successor to an existing language which has been in development for several years- http://www.alorelang.org/