昨日のを書いてて思ったんだけど、ひょっとしてGCCは配列まわりの解析が甘いんじゃないかなぁ…とか。 あー、でも、4.0ではなんとかなってた。んん、まあいいのかもしれない。

と、したいところなんだけど、ちゃんとした型システムって作ったこと無いからどういうのが必要なのかわからんのだよなぁ… とにかく、型チェックっていうのは組み合わせだ。いっこいっこのパターンは量が多くないんだけど、型の数に応じてパターンの数が組み…