2004年6月15日
Generic Java : 多相的型付けによる安全かつ再利用性の高いオブジェクト指向プログラミング
情報処理
- 巻
- 45
- 号
- 6
- 開始ページ
- 610
- 終了ページ
- 617
- 記述言語
- 日本語
- 掲載種別
- 出版者・発行元
- 社団法人情報処理学会
Java 1.5ではJava言語の導入以来初めての大きな言語仕様の変更が行われる。そのうちの主要なものとして総称クラス(generic class)・ワイルドカード型の導入が挙げられる。総称クラスとは、C++言語のテンプレートのような、型パラメータにより抽象化されたクラス定義のことであり、ベクトル・木・リストなどの汎用データ構造のプログラミングにおいて有用である。総称クラスはML、Haskellなどの型付き関数型言語でみられる多相的型付けを応用した機構であるが、最近の筆者らによる研究において、(型付き)オブジェクト指向言語において伝統的である、部分型多相との新しい融合手法が考案されている。ワイルドカード型は、この手法に基づき導入された機構である。本稿では、型システムの改良が、いかに言語の柔軟性を損なうことなく、プログラムの安全性の向上に貢献できるかという例として、これらの機構を概観する。"
- リンク情報
-
- CiNii Articles
- http://ci.nii.ac.jp/naid/110002711391
- CiNii Books
- http://ci.nii.ac.jp/ncid/AN00116625
- ID情報
-
- ISSN : 0447-8053
- CiNii Articles ID : 110002711391
- CiNii Books ID : AN00116625