It would be nice if someone created a typescript for python. Something that allows us to wrangle control and sanity over reams of legacy untyped python madness.

Mypy is basically that.

https://github.com/python/mypy