相关疑难解决方法(0)

我正在探索Scala语言.我经常听到的一个主张是Scala具有比Java 更强大的类型系统.通过这个我认为人们的意思是:

• scalac拒绝某些错误的程序,它们javac会愉快地编译,只会导致运行时错误.
• 某些不变量可以在Scala程序中编码,这样编译器就不会让程序员编写违反条件的代码.

我这么认为是对的吗？