There's an interesting sounding Python specializing compiler which produces code optimized to the runtime values of your variables. Then if the inferred restrictions are broken it will fallback to a non-optimized version.

Pysco