「Featherweight Javaのための漸進的型付け」を読む - ラシウラhttp://www.nue.riec.tohoku.ac.jp/ppl2008/program.html より http://www.nue.riec.tohoku.ac.jp/ppl2008/proceedings/1-09.pdf 「漸進的型付け」というのはgradual typingのこと。Top Type(意味的には、全オブジェクトの具体クラスとして成り立つ型とでもいえばいいかな)である?型を導入した型システムのこと。 この論文で定義してるモデルFJ?はFeatherweight Javaをそれで拡張したもの。 Featherweight Javaは、メソッドの中が１つの式のみで、メソッドは引数と戻り値が必ずひとつづつある、などで制限したJavaの意味論モデル。そのGenericsバージョン(同一論文)は、Java 5のGenericsの意味論にもなっている。 Siek氏が、ST
