declare みたいなのがないと高速なコードに静的にコンパイルするのは難しいでしょ。
それよりも、最近の流行としては HotSpot みたいに実行時のプロファイルを使った
動的コンパイル&動的最適化かも。誰か挑戦しない?