Thanks for the work, very impressive.
And detailed post, I see now the power of Python JS. Yes, Brython code tries to have globals, locals, to conform to Python sematic, but it is "too much".
My pet project:
- Compiling very reduced set of Python to JavaScript (written in JavaScript)
there are express sample apps (import http maps to require('http'))
I want to explore type inference, but in another pet project, trying to emulate RPython:
again, using JavaScript/Nodejs, this time translate Python to C. There is a primes.py working sample
I guess you can get the same from pure Python. Instead processing .pyc (I guess this is the strategy of PyPy), take the AST, inference types, and output C plain code. Even annotations in functions and arguments could help to type inference.
But I prefer JavaScript ;-)
Angel "Java" Lopez
@ajlopez