Чому незмінний набір Scala не є коваріантним за своїм типом?

РЕДАГУВАТИ : Переписати це питання на основі оригінальної відповіді

scala.collection.immutable.SetКласу не коваріантен в параметрі типу. Чому це?

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
}

Setє інваріантним за своїм типовим параметром через концепцію множин як функцій. Наступні підписи повинні трохи прояснити ситуацію:

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

Якби Setковаріантні були A, applyметод не міг би взяти параметр типу Aчерез противаріантність функцій. Setпотенційно може бути контраваріантен в A, але це теж викликає питання , коли ви хочете зробити що - щось на зразок цього:

def elements: Iterable[A]

Коротше кажучи, найкращим рішенням є збереження незмінності навіть для незмінної структури даних. Ви помітите, що immutable.Mapвін також інваріантний за одним із параметрів свого типу.

за адресою http://www.scala-lang.org/node/9764 Мартін Одерський пише:

"Що стосується питання наборів, я вважаю, що нерівномірність також випливає з реалізацій. Загальні набори реалізовані як хеш-теги, які є неваріантними масивами типу ключа. Я згоден, що це трохи дратує неправильність".

Отож, здається, всі наші зусилля з побудови принципової причини для цього були помилковими :-)

РЕДАГУВАТИ : для тих, хто цікавиться, чому ця відповідь здається дещо нетиповою, це тому, що я (запитувач) змінив питання.

Висновок типу Scala досить хороший, щоб зрозуміти, що вам потрібні CharSequences, а не Strings в деяких ситуаціях. Зокрема, для мене в 2.7.3 працює наступне:

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

Щодо того, як створити незмінний.HashSets безпосередньо: не. Як оптимізація реалізації, незмінні.Набори менше 5 елементів насправді не є екземплярами незмінюваних.Набори. Вони є або EmptySet, Set1, Set2, Set3 або Set4. Ці класи підкласу незмінні. Set, але не незмінні. HashSet.