目標 Scala において, (_ <: AnyVal) のようなwildcard を用いた定義式がどううれしいかを論じる. wildcard の簡単な説明 generic type を用いるとき,型安全性のため Covariant な型(A <: B のときのA)の操作に制限がある.例として,型安全のために, covariant type の compound type (List[A] や Set[A], Array[A])に別の covariant type を挿入できうる操作が定義できないことがある. (詳しくは使用例で)そこで,wild card を用いることにより,generic type に対しするメソッドを型安全となるよう柔軟に定義できる. 使用例とメリット 独自の Int クラスと Double クラス, List クラスを定義し,独自の List クラスに Int や
