SPy [1] is a new attempt at something like this. TL;DR: SPy is a variant of Python specifically designed to be statically compilable while retaining a lot of t

SPy [1] is a new attempt at something like this. TL;DR: SPy is a variant of Python specifically designed to be statically compilable while retaining a lot of the "useful" dynamic parts of Python. The effort is led by Antonio Cuni, Principal Software Engineer at Anaconda. Still very early days but it seems promising to me. [1] https://github.com/spylang/spy https://github.com/spylang/spy