You should look at the work on pypy; specifically the RPython subset of python. It uses type hinting for static type analysis for the JIT compiler. It's not as

You should look at the work on pypy; specifically the RPython subset of python. It uses type hinting for static type analysis for the JIT compiler. It's not as hardcore as a fully statically typed language like ML or C but it will catch mistakes in mixing types. See http://doc.pypy.org/en/latest/rtyper.html http://doc.pypy.org/en/latest/rtyper.html