うーん…なんか、適当にインストロペクションしてるような気もしてきたな。まあ、現実的にはそれで十分なのかもしれん。というか、それは型推論というのか？

じゃなくて。「もっとad-hocにフロー解析とかしてやったらどうなるの？」というのは、積年の疑問だったので、考えなくてすむのはありがたい実際にやってる人がいたというのは心強い。

http://soc.jayunit.net/あわわわわわ。