Not exactly what you're talking about, but... For some types of functions, Numba...

isoprophlex on April 15, 2021 | parent | context | favorite | on: Python 3 Types in the Wild: A Tale of Two Type Sys...

Not exactly what you're talking about, but... For some types of functions, Numba's JIT offers some pretty nice speed ups. It can infer function types (or you supply them yourself) and compiles to optimized machine code