Por que o conjunto imutável de Scala não é covariante em seu tipo?

EDIT : Reescrita esta pergunta com base na resposta original

A scala.collection.immutable.Setclasse não é covariante em seu parâmetro de tipo. Por que é isso?

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é invariável em seu parâmetro de tipo devido ao conceito por trás dos conjuntos como funções. As seguintes assinaturas devem esclarecer um pouco as coisas:

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

Se Setfosse covariante em A, o applymétodo seria incapaz de tomar um parâmetro do tipo Adevido à contravariância de funções. Setpoderia ser potencialmente contravariant em A, mas isso também causa problemas quando você quer fazer coisas como esta:

def elements: Iterable[A]

Resumindo, a melhor solução é manter as coisas invariáveis, mesmo para a estrutura de dados imutável. Você notará que immutable.Maptambém é invariável em um de seus parâmetros de tipo.

em http://www.scala-lang.org/node/9764 Martin Odersky escreve:

"Sobre a questão dos conjuntos, acredito que a não variação deriva também das implementações. Conjuntos comuns são implementados como hashtables, que são arrays não variantes do tipo chave. Concordo que é uma irregularidade um pouco irritante."

Então, parece que todos os nossos esforços para construir uma razão de princípio para isso foram equivocados :-)

EDITAR : para quem está se perguntando por que essa resposta parece um pouco fora do tópico, isso é porque eu (o questionador) modifiquei a pergunta.

A inferência de tipo do Scala é boa o suficiente para descobrir que você deseja CharSequences e não Strings em algumas situações. Em particular, o seguinte funciona para mim em 2.7.3:

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

Sobre como criar conjuntos.HashSets imutáveis ​​diretamente: não. Como uma otimização de implementação, immutable.HashSets com menos de 5 elementos não são realmente instâncias de immutable.HashSet. Eles são EmptySet, Set1, Set2, Set3 ou Set4. Essas classes são subclasses de immutable.Set, mas não de immutable.HashSet.