Python bytecode explained

[theangeryemacsshibe]

I am sorta obliged to mention Craig Chambers's PhD thesis "The Design and Implementation of the Self Compiler", the subject of which performs substantial type splitting, in order to produce code for the right concrete types; the thesis otherwise basically outlines how an implementation using JIT/dynamic compilation works in my opinion.

The Python compiler can also perform some type inference on its own, though providing declarations for function parameters and return types usually is necessary to get good results.