Warum ist Scala's unveränderliches Set in seinem Typ nicht kovariant?

Question

EDIT: Um diese Frage neu geschrieben, basierend auf Original Antwort

Die scala.collection.immutable.Set Klasse kovariant in seiner Art Parametern nicht. Warum ist das?

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 ist in seinem Typparameter wegen des Konzepts hinter Sätzen als Funktionen invariant. Die folgenden Signaturen sollten die Dinge klären leicht:

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

Wenn Set in A kovariant wurden, die apply Verfahren nicht in der Lage wäre, einen Parameter des Typs nehmen A aufgrund der Kontra von Funktionen. Set könnte möglicherweise kontra in A sein, aber auch dies verursacht Probleme, wenn Sie solche Dinge zu tun:

def elements: Iterable[A] 

Kurz gesagt, die beste Lösung ist, die Dinge unveränderlich, auch für die unveränderliche Datenstruktur zu halten. Sie werden feststellen, dass immutable.Map in einem seiner Typparameter auch invariant ist.

Answer 2

EDIT: für fragen jemand, warum diese Antwort ein wenig vom Thema scheint, ist dies, weil ich (der Fragesteller) die Frage geändert haben.

Scala-Typ-Inferenz ist gut genug, um herauszufinden, dass Sie in einigen Situationen CharSequences und nicht Strings wollen. Insbesondere für mich die folgenden Arbeiten in 2.7.3:

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

Was wie immutable.HashSets direkt zu erstellen: dies nicht tun. Als Implementierungsoptimierung sind unveränderliche Hash-Sets von weniger als 5 Elementen keine Instanzen von immutable.HashSet. Sie sind entweder EmptySet, Set1, Set2, Set3 oder Set4. Diese Klassen Unterklasse unveränderlich. Set, aber nicht unveränderlich. HashSet.

Answer 3

bei http://www.scala-lang.org/node/9764 Martin Odersky schreibt:

„In der Frage der Sätze, ich glaube, dass die Nicht-Varianz ergibt sich auch aus den Implementierungen gemeinsame Sätze sind implementiert als Hash-Tabellen, die nicht-Variante Arrays von der sind. Schlüsseltyp. Ich stimme zu, es ist eine leicht lästige Unregelmäßigkeit. "

So scheint es, dass alle unsere Bemühungen, einen prinzipien Grund dafür waren fehlgeleitet :-)