リージョン推論の難しいところ

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