どちらかと言えば、再帰型が暗黙にあつかえてしまっている、このPolymorphic Recordな型システムがおかしいのか?うーん、わからん。

単一化が止まらないのは、あほなバグを私が実装にしこんでいたというわけではなく、Tofteの単一化アルゴリズムが再帰型を考慮していないことが原因だった。 まあ、それにしても見た瞬間気付けよ、という感じですけど。

http://blogs.yahoo.co.jp/engineer_ryuseigun/23271561.html 僕が解けないんだから、問題のほうが間違ってるんだ！ とか泣きながら叫んでました（いやなガキだったなあ）。 俺が理解できないんだから、証明のほうが間違ってるんだ!、と叫びたくなることが、…