Отображение предполагаемых типов выражений Scala

Question

Как я могу увидеть типы, выведенные компилятором Scala для выражений и т. Д.? У меня есть некоторый код со сложным выводом типов и неявными преобразованиями, и трудно понять, что происходит, просто читая код.

Я пытался добавить

scalacOptions in Compile += "-Xprint-types"

в build.sbt, но это не имеет никакого эффекта.

Использование scalac напрямую не очень привлекательно, потому что у меня много зависимостей.

Я использую плагин Eclipse Scala и ENSIME для написания кода, а SBT для сборки.

Answer 1

Это должно быть

scalacOptions in Compile ++= Seq("-Xprint-types", "-Xprint:typer")

вместо.

К сожалению, результат не очень читабелен. (

Answer 2

Эта точная функция была добавлена ​​в Eclipse Scala IDE 3.0!

Выберите любую часть кода и нажмите Ctrl-Shift-W T (заменяя Ctrl на Cmd на Mac), чтобы увидеть предполагаемый тип.

Answer 3

Поднимите выражение к нелокальному def или val без явного типа - тогда оно появится в представлении Outline в Eclipse с назначенным логическим типом.

Однако это не идеальное решение, потому что оно требует некоторой работы, и его нельзя использовать, когда речь идет о рекурсии.