型とinterfaceの区別が必要かもしれない。 interfaceは型情報を持つ classも型情報を持つ 変数定義の際に型付けを行う 昨日http://d.hatena.ne.jp/kilrey/20040330のは一つの変数(仮引数だが)に「複数の型の積集合」という型を付けていた。genericsの本来の…