yarv2llvmは今は配列の型推論を作っています。これができたら、関数と構造体を作って型推論は終わりにしようと思っています。クラスとメソッドはどう考えても今の延長ではできないと思います。
そういえば、PyPyを落として見ています。面白いです。
GCがPythonで書いてあります。アルゴリズムは、
Mark-and-Sweep
Semispace
Mark-and-Compact
Generational
Generational と Mark-n-Sweepのhybrid
のようです。どんな言語で書いてあろうと、GCのコードは難しいです。
