>>314
型に情報を付加してそれをflow解析する論文があったような。
File型からreadするときにちゃんとread用にopenされてるかどうか
コンパイル時にチェックできるやつが。