次のコードが機能するのはなぜですか?
scala> List(1,2,3) map "somestring"
res0: List[Char] = List(o, m, e)
2.9 と 2.10 の両方で動作します。タイパーを調べる:
[master●●] % scala -Xprint:typer -e 'List(1,2,3) map "somestring"' ~/home/folone/backend
[[syntax trees at end of typer]] // scalacmd2632231162205778968.scala
package <empty> {
object Main extends scala.AnyRef {
def <init>(): Main.type = {
Main.super.<init>();
()
};
def main(argv: Array[String]): Unit = {
val args: Array[String] = argv;
{
final class $anon extends scala.AnyRef {
def <init>(): anonymous class $anon = {
$anon.super.<init>();
()
};
immutable.this.List.apply[Int](1, 2, 3).map[Char, List[Char]](scala.this.Predef.wrapString("somestring"))(immutable.this.List.canBuildFrom[Char])
};
{
new $anon();
()
}
}
}
}
}
WrappedString
apply メソッドを持つ に変換されるようです。これは、それがどのように機能するかを説明しWrappedString
ますが、型のパラメーターに がどのように受け入れられたか ( scaladocA => B
で指定されているとおり) は説明しません。誰かが説明できますか、これがどのように起こるか教えてください。