É possível que o Scala ofereça verificação de tipos dentro de scripts? - scala, scripting

Alguém sabe se há uma maneira de ter tipoverificando scripts para o Scala? Quando escrevo scripts curtos, sinto que perco muito da força do typechecking de Scala (ou seja, detectar erros ao escrever código, em vez de tentar e compilar).

Respostas:

Veja esta fantástica responda por Miles Sabin; obrigado a tenshi por apontar isto. Você quer correr

scala -Ystop:refchecks ScriptToCheck.scala

O sucesso é indicado por esta saída:

java.lang.ClassNotFoundException: Main

Concordo que seria bom se houvesse uma maneira mais fácil de usar -Y as opções do compilador são bastante arcanas e sujeitas a alterações sem aviso prévio; a mensagem de sucesso desmente o "hackishness" desta solução). Mas, por enquanto, você deve poder usar isso.

Espero ter sido útil.

Se você usa o Ecplise Scala IDE, ele suporta compilação incremental, assim como o JDT faz para Java. Dessa forma, você obtém suas luzes vermelhas conforme avança.