That sounds a lot like Cython, a Python-->C source translator. The more variables you annotate with C types, the more closely the output looks like idiomatic C.

That sounds a lot like Cython, a Python-->C source translator. The more variables you annotate with C types, the more closely the output looks like idiomatic C. If you don't annotate any variables with types, then they're all treated as PyObject with the performance penalties you'd expect.