Pourquoi l'ensemble immuable de Scala n'est-il pas covariant dans son type?

EDIT : réécrit cette question en fonction de la réponse originale

La scala.collection.immutable.Setclasse n'est pas covariante dans son paramètre de type. Pourquoi est-ce?

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
}

Setest invariant dans son paramètre de type en raison du concept derrière les ensembles en tant que fonctions. Les signatures suivantes devraient clarifier légèrement les choses:

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

Si Setétaient covariantes dans A, la applyméthode serait incapable de prendre un paramètre de type en Araison de la contravariance des fonctions. Setpourraient être contravariant dans A, mais cela provoque aussi des problèmes lorsque vous voulez faire des choses comme ceci:

def elements: Iterable[A]

En bref, la meilleure solution est de garder les choses invariantes, même pour la structure de données immuable. Vous remarquerez que immutable.Mapc'est également invariant dans l'un de ses paramètres de type.

à http://www.scala-lang.org/node/9764 Martin Odersky écrit:

"En ce qui concerne les ensembles, je pense que la non-variance provient également des implémentations. Les ensembles communs sont implémentés sous forme de tables de hachage, qui sont des tableaux non-variant du type clé. Je conviens que c'est une irrégularité légèrement ennuyeuse."

Donc, il semble que tous nos efforts pour construire une raison de principe à cela ont été malavisés :-)

EDIT : pour quiconque se demande pourquoi cette réponse semble légèrement hors sujet, c'est parce que je (l'interlocuteur) ai modifié la question.

L'inférence de type de Scala est assez bonne pour comprendre que vous voulez des CharSequences et non des Strings dans certaines situations. En particulier, ce qui suit fonctionne pour moi dans 2.7.3:

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

Quant à savoir comment créer des immuables.HashSets directement: ne le faites pas. En tant qu'optimisation de l'implémentation, immutable.HashSets de moins de 5 éléments ne sont pas en fait des instances d'immutable.HashSet. Ils sont soit EmptySet, Set1, Set2, Set3 ou Set4. Ces classes sous-classe immutable.Set, mais pas immutable.HashSet.