This probably has a simple answer, and is something I can easily google. But it's always been in the back of my mind, what optimizations would be possible if you took actual python code and forced 100% type annotation. Could you meaningfully speed that up at the interpreter or with some pre-processing or compilation?

EDIT: I guess this kind of answers my curiosity: https://programming-journal.org/2023/7/2/