Как исследовать неявные/богатые преобразования и реализованные трейты в REPL

Некоторые вещи в Scala кажутся мне непрозрачными, например, когда to не является функцией-членом Int:

1.to(4)

Могу ли я изучить, какое поведение вызвало это (неявное преобразование, черта или что-то еще), не обращаясь к справочнику по языку? И это тоже в REPL?

Если REPL не может помочь, есть ли какая-то дружественная альтернатива?


scala
person Jesvin Jose    schedule 03.04.2012    source источник

Ответы (1)


arrow_upward
14
arrow_downward

Со Скала 2.9:

  ~/code/scala scala -Xprint:typer -e "1 to 4"
[[syntax trees at end of typer]]// Scala source: scalacmd4469348504265784881.scala
package <empty> {
  final object Main extends java.lang.Object with ScalaObject {
    def this(): object Main = {
      Main.super.this();
      ()
    };
    def main(argv: Array[String]): Unit = {
      val args: Array[String] = argv;
      {
        final class $anon extends scala.AnyRef {
          def this(): anonymous class $anon = {
            $anon.super.this();
            ()
          };
          scala.this.Predef.intWrapper(1).to(4)
        };
        {
          new $anon();
          ()
        }
      }
    }
  }
}

Со Scala 2.10 или 2.11:

scala> import reflect.runtime.universe
import reflect.runtime.universe

scala> val tree = universe.reify(1 to 4).tree
tree: reflect.runtime.universe.Tree = Predef.intWrapper(1).to(4)

scala> universe.showRaw(tree)
res0: String = Apply(Select(Apply(Select(Ident(scala.Predef), newTermName("intWrapper")), List(Literal(Constant(1)))), newTermName("to")), List(Literal(Constant(4))))

scala> universe.show(tree)
res1: String = Predef.intWrapper(1).to(4)
person retronym    schedule 03.04.2012
comment
См. также :implicits -v в REPL. - person Daniel C. Sobral; 04.04.2012