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型パラメーターの1つでも不変であることがわかります。

でhttp://www.scala-lang.org/node/9764マーティン・オーダーズキーは書いています：

「セットの問題については、非分散は実装からも生じていると思います。一般的なセットは、キータイプの非可変配列であるハッシュテーブルとして実装されます。これは、少し厄介な不規則性であることに同意します。」

それで、これの原理的な理由を構築するための私たちのすべての努力は間違っていました:-)

編集：なぜこの回答が少し話題から外れているように思われるのか疑問に思う方のために、これは私（質問者）が質問を変更したためです。

Scalaの型推論は、状況によっては文字列ではなくCharSequencesが必要であることを理解するのに十分です。特に、2.7.3では次のように機能します。

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

immutable.HashSetを直接作成する方法については、作成しないでください。実装の最適化として、5要素未満のimmutable.HashSetは実際にはimmutable.HashSetのインスタンスではありません。それらは、EmptySet、Set1、Set2、Set3、またはSet4のいずれかです。これらのクラスはimmutable.Setをサブクラス化しますが、immutable.HashSetはサブクラス化しません。