ScalaのSet.containsが予想される型の不一致エラーに

Question

を与えるものではありません、私はスカラ座に新たなんだ、と私はSet.contains

に間違った引数を供給する場合、私は時々、型エラーを取得しない理由を理解するのに苦労していますここで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 

私はそこ型の不一致を取得していないのはなぜ？

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") 
          ^

愚かな間違い、言語の微妙、またはコンパイラのバグ：私は別のvalへbaz.values.toSetを割り当て、その上containsを呼び出す場合

、私はのget型チェックを行う？

Answer 1

OK、そうSetはその型パラメータで不変であり、あなたが言うように、それは、まさにそのはず

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" 
            ^

のように動作します。しかし：

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

我々は合理的にISに来ることができる唯一の結論問題のSetのタイプがではなく、Set[Int]であることを確認してください。 Set[Int]が必要なスカラーを明示的に指定するとどうなりますか？明示的な型のパラメータを持つコードの同じ部分（すなわち、それがコンパイルされない）だけで正常に動作：

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" 
                     ^

問題がtoSetメソッドに渡される推論型パラメータあります。 Scalaは明らかに