なんのことはない，継承したクラスが一つしかなかったらOKで，複数あったら「わかりません」という検査を行うJavaプログラムを書いた，という発表だった．プログラミングしたことあるのかよ，と小一時間問い詰めたい．まあ，ダウンキャストを静的に検査なん…

この辺りから始めよう．プログラミング言語の基礎理論 (情報数学講座)作者: 大堀淳出版社/メーカー: 共立出版発売日: 1997/02メディア: 単行本 クリック: 55回この商品を含むブログ (15件) を見るしかし日本語の本って，これくらいしかないのかな．結構古い…

http://www15.ocn.ne.jp/~rodinia/Blog/MyJournal.html継承とサブタイプの問題を無理やり結びつけて考える必要はない気がします．JavaやC++なんかの型システムが貧弱な言語では「継承→サブタイプ」となりますが，ちょっと高級な型システムを持つOCamlでは「…