Javaで型安全なprintfを書いてみた - einblickerの日記Java | 18:44 | パラメタ多相を持つOO言語って実はGADT相当のことが表現できるんじゃないか、みたいなことが気になったのでググっていたらこんなものを発見。Generalized Algebraic Data Types and Object-Oriented Programming予想通り、Genericsを持つOO言語ではGADT相当のことができるとのこと。具体的には、代数的データ型*1に加えて以下の三点の表現力があればGADTが書けるらしい。コンストラクタごとにデータ型の型パラメータを変えられること。Javaでは class S{}; class D1 extends S{}; class D2 extends S {} のように型パラメタを特殊化＋継承で可能。型パラメータを持つデータ型の定義中に、他の型で型パラメータを特殊化した自身の定義を使用可能であること。Javaで
