コンパイラに手を入れないと実現できない訳で、まず敷居が高い。実用的なコンパイラに手を入れるのは厳しいが、かといっておもちゃサイズの静的型付言語用コンパイラがあるかというとなかなか見付からない。自分で言語を設計し出すとかあまりにあんまりだし…

GCいじってもパフォーマンス上がらない気がしてきたのでやっぱやめ。しかし次のアイデアが思い付かない。リージョン推論の論文をまともに読んでいって解説したら受けるかな？受けない気もするけど、とりあえずやってみよう。