Adding dynamically-typed language support to a statically-typed language compiler: performance evaluation, analysis, and tradeoffs.