Как исследовать объекты / типы / etc. из Scala REPL?

Вы упомянули важный момент, которого Scala немного не хватает: документация.

REPL-фантастический инструмент, но он не так фантастичен, как может быть. Слишком много недостающих функций и функций, которые можно улучшить - некоторые из них упоминаются в вашем посте. Scaladoc-хороший инструмент, но он далек от совершенства. Кроме того, много кода в API еще не задокументировано или слишком мало, и примеры кода часто отсутствуют. IDEs полны ошибок ob и по сравнению с возможности Java IDEs показывают нам, что они выглядят как некоторые детские игрушки.

тем не менее существует гигантская разница Scalas текущих инструментов по сравнению с инструментами, доступными, как я начал изучать Scala 2-3 лет назад. В то время IDEs постоянно компилировал какой-то мусор в фоновом режиме, компилятор разбивался каждые несколько минут, а какая-то документация была абсолютно несуществующей. Часто я получал приступы ярости и желал смерти и коррупции авторам Scala.

и сейчас? У меня больше нет этих приступов ярости. Потому что инструменты, которые у нас в настоящее время есть, велики, хотя и не идеальны!

есть docs.scala-lang.org, который суммирует много большой документации. Есть учебники, шпаргалки, глоссарии, руководства и многое другое. Еще один отличный инструмент -свойства scaleX, который может найти даже самый странный оператор, о котором можно подумать. Это Скалас Hoogle и даже если это еще не так хорош, как его великий идеал, он очень полезен.

большие улучшения идут с Scala2.10 в виде скаляров собственная библиотека отражений:

// needs Scala2.10M4
scala> import scala.reflect.runtime.{universe => u}
import scala.reflect.runtime.{universe=>u}

scala> val t = u.typeOf[List[_]]
t: reflect.runtime.universe.Type = List[Any]

scala> t.declarations
res10: Iterable[reflect.runtime.universe.Symbol] = SynchronizedOps(constructor List, method companion, method isEmpty, method head, method tail, method ::, method :::, method reverse_:::, method mapConserve, method ++, method +:, method toList, method take, method drop, method slice, method takeRight, method splitAt, method takeWhile, method dropWhile, method span, method reverse, method stringPrefix, method toStream, method removeDuplicates)

документация для новой библиотеки отражения по-прежнему отсутствует, но выполняется. Это позволяет легко использовать scalac внутри REPL:

scala> u reify { List(1,2,3) map (_+1) }
res14: reflect.runtime.universe.Expr[List[Int]] = Expr[List[Int]](immutable.this.List.apply(1, 2, 3).map(((x) => x.$plus(1)))(immutable.this.List.canBuildFrom))

scala> import scala.tools.reflect.ToolBox
import scala.tools.reflect.ToolBox

scala> import scala.reflect.runtime.{currentMirror => m}
import scala.reflect.runtime.{currentMirror=>m}

scala> val tb = m.mkToolBox()
tb: scala.tools.reflect.ToolBox[reflect.runtime.universe.type] = scala.tools.reflect.ToolBoxFactory$ToolBoxImpl@32f7fa37

scala> tb.parseExpr("List(1,2,3) map (_+1)")
res16: tb.u.Tree = List(1, 2, 3).map(((x) => x.$plus(1)))

scala> tb.runExpr(res16)
res18: Any = List(2, 3, 4)

это даже больше, когда мы хотим знать, как код Scala переводится внутри. Ранее Вэнь нужно ввести scala -Xprint:typer -e "List(1,2,3) map (_+1)" получить внутренне представление. Кроме того, некоторые небольшие улучшения нашли там путь к новой версии, например:

scala> :type Predef
scala.Predef.type

Scaladoc получит некоторые тип-иерархия графе (нажмите на тип-иерархия).

С помощью макросов теперь можно улучшить сообщения об ошибках отличным способом. Существует библиотека под названием expecty, который делает это:

// copied from GitHub page
import org.expecty.Expecty

case class Person(name: String = "Fred", age: Int = 42) {
  def say(words: String*) = words.mkString(" ")
}

val person = Person()
val expect = new Expecty()

// Passing expectations

expect {
  person.name == "Fred"
  person.age * 2 == 84
  person.say("Hi", "from", "Expecty!") == "Hi from Expecty!"
}

// Failing expectation

val word1 = "ping"
val word2 = "pong"

expect {
  person.say(word1, word2) == "pong pong"
}

/*
Output:

java.lang.AssertionError:

person.say(word1, word2) == "pong pong"
|      |   |      |      |
|      |   ping   pong   false
|      ping pong
Person(Fred,42)
*/

есть инструмент, который позволяет найти библиотеки, размещенные на GitHub, называется ls.неявно.ly.

IDEs теперь имеют некоторую семантическую подсветку, чтобы показать, является ли член объектом/типом/методом / чем угодно. Функция семантического выделения ScalaIDE.

функция javap REPL-это только вызов собственного javap,поэтому это не очень богатый инструмент. Вы должны полностью квалифицировать название модуля:

scala> :javap scala.collection.immutable.List
Compiled from "List.scala"
public abstract class scala.collection.immutable.List extends scala.collection.AbstractSeq implements scala.collection.immutable.LinearSeq,scala.Product,scala.collection.LinearSeqOptimized{
...

некоторое время назад я написал резюме как код Scala компилируется байт-код, который предлагает много вещей, чтобы знать.

и лучшей: это все сделано за последние несколько месяцев!

Итак, как использовать все эти вещи внутри REPL? Ну, это невозможно ... ещё нет. ;)

но я могу сказать вам, что однажды у нас будет такой REPL. REPL, который показывает нам документацию, если мы хотим ее увидеть. REPL, который позволит нам общаться с ним (может быть, как lambdabot). REPL, который позволяет нам делать крутые вещи, мы все еще не могу представить. Я не знаю, когда это произойдет, но я знаю, что многое было сделано за последние годы, и я знаю, что еще больше будет сделано в следующие годы.