まあせっかく出た話題なので……実行履歴を元に型を特化したコードを生成する手法は
JavaScriptの高速化で話題になっていたような記憶がある
↓っぽいな。Trace Monkeyっていうんだっけ？

Trace-based just-in-time type specialization for dynamic languages
http://dl.acm.org/citation.cfm?id=1542476.1542528