I have just released version 0.9.9 of Shed Skin, a restricted-Python-to-C++ compiler. It comes with a whole host of small improvements, and also a nice new (constructive solid geometry) example, which becomes about 15 times faster on my system (not 15%.. 15 times!).
If you think this is a cool project, please consider helping out. There is always enough work (low-hanging fruit even) on both the Python and C++ side.
A re-implementation of the original DOOM WAD renderer, based on Leonardo Ono's Java implementation, and compiled with Shedskin for a 100-time speedup or so.
the main techniques that I use for type inference were invented by ole agesen and john plevyak, who worked on self and concurrent aggregates, respectively (iirc). it may be they were influenced by research on lisp, but I doubt it.
http://blogfarts.blogspot.com/2024/06/shed-skin-restricted-p...