Почему неизменный набор Scala не ковариант в своем типе?

Question

EDIT: переписан этот вопрос на основе оригинального ответа

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 
} 

Answer 1

Set является инвариантным в своем параметре типа из-за концепции за множествами в качестве функций. Следующие подписи должны прояснить вещи немного:

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

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

def elements: Iterable[A] 

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

Answer 2

EDIT: для тех, кто интересно, почему этот ответ немного, кажется, не по теме, это потому, что я (спрашивающий) модифицировали вопрос.

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

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

О том, как создать immutable.HashSets непосредственно: нет. Как оптимизация реализации, неизменяемые. HashSets из менее чем 5 элементов не являются фактически экземплярами неизменяемых. HashSet. Это либо EmptySet, Set1, Set2, Set3, либо Set4. Этот класс подклассов неизменен. Устанавливается, но не является неизменным.HashSet.

Answer 3

в http://www.scala-lang.org/node/9764 Одерски пишет:

«К вопросу о множествах, я считаю, что не Вариативность также является результатом реализации общих наборов реализованы в виде хэш-таблиц, которые не являются вариантные массивы. тип ключа. Я согласен, что это немного раздражающая нерегулярность ».

Таким образом, кажется, что все наши усилия, чтобы построить принципиальную причину этого было ошибочным :-)