in reply to Griping about Typing
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.
In Section
Meditations