It’s not possible in general because you can only do a syntactic translation of python. To preserve the meaning of the program you would have to statically kno

It’s not possible in general because you can only do a syntactic translation of python. To preserve the meaning of the program you would have to statically know something about the data types used. This is one reason why Dropbox, Facebook, and google have developed their own python type checkers.