Scalaのマップには、 "_"

Question

なぜそれが（ScalaのREPLで）私は、例えば、

def double(d: Int) = 2*d 
(0 until 10).zipWithIndex.map(i => double(i._1)) 

か、単に

(0 until 10).zipWithIndex.map(_._1) 

を書くことができ、まだ私は書くことができないということです

(0 until 10).zipWithIndex.map(double(_._1)) 

error: missing parameter type for expanded function ((x$1) => x$1._1) (0 until 10).zipWithIndex.map(double(_._1)) 

？

Answer 1

Scalaが展開しようとします_._1doubleの範囲で拡張しようとしました。だから、それはあなたがしかし

(0 until 10).zipWithIndex.map(double(i => i._1)) 

を持つようにしたいと考えて、それはまた、i => i._1が本当にdoubleの引数の型のいずれかに適合しないことを見ているので、文句やコンパイラを支援するタイプのヒントを与えることが求められます。この場合、正しい型定義は存在しない可能性があります。そのため、エラーメッセージは間違っています。