うーん…なんか、適当にインストロペクションしてるような気もしてきたな。まあ、現実的にはそれで十分なのかもしれん。というか、それは型推論というのか?
じゃなくて。「もっとad-hocにフロー解析とかしてやったらどうなるの?」というのは、積年の疑問だったので、考えなくてすむのはありがたい実際にやってる人がいたというのは心強い。
http://soc.jayunit.net/あわわわわわ。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。