Generic Java: 多相的型付けによる安全かつ再利用性の高いオブジエクト指向プログラミング

摘要

Java 1.5ではJava言語の導入以来初めての大きな言語仕様の変更が行われる.そのうちの主要なものとして総称クラス(generic　 class)ワイルドカード型の導人が挙げられる.総称クラスとは, C++言語のテンプレ-トのような，型パラメータにより抽象化されたクラス定義のことであり.ベクトル·木·リストなどの汎用データ構造のプログラミングにおいて有用である,総称クラスはML, Haskellなどの型付き関数型言語でみられる多相的型付けを応用した機構であるが.最近の筆者らによる研究において, (型付き)オブジェクト指向言語において伝統的である,部分型多相との新しい融合手法が考案されている.ワイルドカード型は.この手法に基づき導入された機構である.