まじめにJavaの型推論書いてるのでメモ。capture-#xとか分かるようになるかも。 レビューに付き合ってくださる方は Java SE Specifications からPDFをダウンロードしておくとよいかと*1。 *1:リンク貼るのが面倒になった

List<null>型を作れないか考えてて全然関係ないこと思いついた。 void f() { String a1 = id(null); // ok String a2 = id(id(null)); // error String a3 = id(a3 = id(null)); // ok } <T> T id(T t) { return t; } 「制約 null << T のとき、Tに課せられる制約」を</t></null>…