yohhoyの日記

技術的メモをしていきたい日記

2016-09-13から1日間の記事一覧

型推論と無限型(infinite type)

Java言語のジェネリクス(generics)では、型推論過程において無限型(infinite type)が推論されうる。ただしJava言語では無限型を表現できないため、非境界ワイルドカード(unbounded wildcard) を用いた再帰型(recursive type)で代替される。下記コードの条件…