知って得する　言語の本質　第１回〜Ｊａｖａでは、コンパイラによる型チェックを通れば型エラーは起きない？
日経ソフトウェア　第175号　2012.6.1

この記事の情報
掲載誌	日経ソフトウェア　第175号（2012.6.1）
ページ数	4ページ　（全5150字）
形式	PDFファイル形式　（1961kb）
雑誌掲載位置	108〜111ページ目

ＱＪａｖａでは、コンパイラによる型チェックを通れば型エラーは起きない？Ａ共変を使うと型チェックを通ってもエラーは起きる　この連載では、プログラミング言語に関する様々な考え方や共通する機能などを紹介していきます。これらの紹介を通して、プログラミング言語とは一体何なのかをあらためて考えてみたいと思います。　今回のトピックは“型”を取り上げます。とりわけ「共変」という性質を少し詳しくみていきます。難しい…