Mengapa Set yang tidak dapat diubah Scala tidak kovarian dalam tipenya?

EDIT : Tulis ulang pertanyaan ini berdasarkan jawaban asli

The scala.collection.immutable.Setkelas tidak kovarian dalam parameter jenisnya. Kenapa ini?

import scala.collection.immutable._

def foo(s: Set[CharSequence]): Unit = {
    println(s)
}

def bar(): Unit = {
   val s: Set[String] = Set("Hello", "World");
   foo(s); //DOES NOT COMPILE, regardless of whether type is declared 
           //explicitly in the val s declaration
}

Setadalah invarian dalam parameter tipenya karena konsep di balik himpunan sebagai fungsi. Tanda tangan berikut harus sedikit menjelaskan hal-hal:

trait Set[A] extends (A=>Boolean) {
  def apply(e: A): Boolean
}

Jika Setkovarian masuk A, applymetode tidak akan dapat mengambil parameter tipe Akarena pertentangan fungsi. Setberpotensi menjadi contravariant di A, tapi ini terlalu menyebabkan masalah ketika Anda ingin melakukan hal-hal seperti ini:

def elements: Iterable[A]

Singkatnya, solusi terbaik adalah menjaga hal-hal tetap tidak berubah, bahkan untuk struktur data yang tidak dapat diubah. Anda akan melihat bahwa immutable.Mapitu juga tidak berubah di salah satu parameter tipenya.

di http://www.scala-lang.org/node/9764 Martin Odersky menulis:

"Mengenai masalah set, saya percaya non-varians juga berasal dari implementasi. Set umum diimplementasikan sebagai hashtable, yang merupakan array non-varian dari jenis kunci. Saya setuju ini adalah ketidakteraturan yang sedikit mengganggu."

Jadi, tampaknya semua upaya kami untuk membangun alasan yang berprinsip untuk ini salah arah :-)

EDIT : bagi siapa pun yang bertanya-tanya mengapa jawaban ini tampak sedikit di luar topik, ini karena saya (penanya) telah mengubah pertanyaannya.

Jenis inferensi Scala cukup baik untuk mengetahui bahwa Anda menginginkan CharSequences dan bukan Strings dalam beberapa situasi. Secara khusus, berikut ini berfungsi untuk saya di 2.7.3:

import scala.collections.immutable._
def findCharSequences(): Set[CharSequence] = Set("Hello", "World")

Mengenai cara membuat immutable.HashSets secara langsung: jangan. Sebagai pengoptimalan implementasi, immutable.HashSet yang kurang dari 5 elemen sebenarnya bukan instance dari immutable.HashSet. Mereka adalah EmptySet, Set1, Set2, Set3, atau Set4. Kelas-kelas ini merupakan subkelas immutable.Set, tetapi tidak immutable.HashSet.