変数の型は統計的には安定しているという事実を使い、実行時の変数に代入された値の統計データから、変数に型を割り振ることにより、jitコンパイラが実現し、高速にjavascriptを処理できるようになった。