すごそうです

InfoQの記事にコメントが入っていて、Ludicrous JIT Compiler なるものが紹介されていました http://rubystuff.org/ludicrous
どうもかなり完成度が高そうです。

ソースがgithub(http://github.com/cout/ludicrous/tree/master)にあるので、見てみました。型推論はやってないだろうなー、と思ったらなんかやってるみたいだし、ひょっとしてyarv2llvmいらない？ みたいな

追記
型推論かなと思ったところ、(lib/native_functions.rbのrb_typeメソッド) は型推論じゃなさそうです。