On their website:
> Future
> In the future Nuitka will be able to use type inferencing based on whole program analysis. It will apply that information in order to perform as many calculations as possible in C, using C native types, without accessing libpython.
They already claim a 300% speed boost, but with those type inferencing things, it will probably go a lot of further... Can't wait for this project to mature.
I guess compiling to WebAssembly should be trivial then?
Speaking of speedup and program analysis, there's also mypyc[0] which relies on type annotations and also claims a performance boost:
> The mypy project has been using mypyc to compile mypy since 2019, giving it a 4x performance boost over regular Python.
Does anyone know how mypyc and Nuitka compare in practice?