Scala Set.contains no da tipo esperado error de coincidencia de

Question

Soy nuevo en Scala, y estoy luchando para entender por qué a veces no consigo un error de tipo cuando se suministra el argumento erróneo Set.contains

aquí está un ejemplo rápido utilizando el REPL (2.9.1.final):

scala> val baz = Map("one" -> 1, "two" -> 2) 
baz: scala.collection.immutable.Map[java.lang.String,Int] = Map(one -> 1, two -> 2) 

scala> baz.values.toSet.contains("asdf") 
res3: Boolean = false 

¿Por qué no puedo obtener una coincidencia de tipos hay?

Si asigno baz.values.toSet a otro val, y llamo contains en eso, yo hago obtener la comprobación de tipos:

scala> val bling = baz.values.toSet 
bling: scala.collection.immutable.Set[Int] = Set(1, 2) 

scala> bling.contains("asdf") 
<console>:10: error: type mismatch; 
found : java.lang.String("asdf") 
required: Int 
       bling.contains("asdf") 
          ^

error estúpido, la sutileza del lenguaje, o un error del compilador?

Answer 1

OK, así Set es invariable en su parámetro de tipo y funciona exactamente como debería

scala> Set(1, 2, 3) contains "Hi" 
<console>:8: error: type mismatch; 
found : java.lang.String("Hi") 
required: Int 
       Set(1, 2, 3) contains "Hi" 
            ^

Pero, como usted dice:

scala> Map('a -> 1, 'b -> 2, 'c -> 3).values.toSet contains "Hi" 
res1: Boolean = false 

La única conclusión a la que razonablemente podemos llegar a decir que el tipo de Set en cuestión es noSet[Int]. ¿Qué sucede si le decimos explícitamente a Scala que queremos un Set[Int]? La misma pieza de código con un parámetro de tipo explícita funciona bien (es decir, no compila):

scala> Map('a -> 1, 'b -> 2, 'c -> 3).values.toSet[Int] contains "Hi" 
<console>:8: error: type mismatch; 
found : java.lang.String("Hi") 
required: Int 
       Map('a -> 1, 'b -> 2, 'c -> 3).values.toSet[Int] contains "Hi" 
                     ^

La cuestión es el parámetro tipo inferido que se pasa al método toSet. Scala es, obviamente, tomando el contains "Hi" en cuenta y deducir el lub de Int y String (es decir Any)