Может ли Scala предлагать проверку типов внутри скриптов?

Question

Кто-нибудь знает, есть ли способ сделать проверку типов в скриптах для Scala? Когда я пишу короткие сценарии, я чувствую, что теряю силу проверки типов в Scala (т. Е. Ловлю ошибки при написании кода, а не при попытке компиляции).

Answer 1

Смотрите этот фантастический ответ Майлза Сабина; спасибо Тэнши за указание на это. Вы хотите запустить

scala -Ystop:refchecks ScriptToCheck.scala

Успех обозначается этим выводом:

java.lang.ClassNotFoundException: Main

Я согласен, что было бы неплохо, если бы был доступен более удобный для пользователя способ (параметры компилятора -Y довольно загадочны и могут быть изменены без предварительного уведомления; сообщение об успехе опровергает "хакерство" этого решения). Но пока вы должны использовать это.

Надеюсь, я помог.

Answer 2

Если вы используете Ecplise Scala IDE, он поддерживает инкрементную компиляцию, так же, как JDT для Java. Таким образом, вы получите красные огни на ходу.