Scala类型系统的优点

Question

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

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

我这么认为是对的吗？

Answer 1

Scala Type系统的主要优点不是更强大 ，而是更丰富 （参见“ Scala类型系统 ”）。
（Java可以定义其中的一些，并实现其他的，但Scala内置了它们）。
另见神话制造者1：Scala的“类型类型” ，评论Steve Yegge的博客文章 ，他将“Scala”视为“Frankenstein's Monster”，因为“有类型类型和类型类型”。

• 使用值类型类（对于具有值语义的合理小数据结构非常有用）而不是基元类型（Int，Doubles，...），并为其他方法隐式转换为“Rich”类。
• 不可侵犯的类型
• Monad类型
• 特质类型（以及随附的mixin成分 ）
• 单例对象类型（只需定义一个'对象'，你就有一个），
• 复合类型 （对象类型的交集，表示对象的类型是其他几种类型的子类型），
• 函数类型 （ (type1, …)=>returnType语法），
• 案例类 （导出其构造函数参数并通过模式匹配提供递归分解机制的常规类），
• 路径相关类型 （允许您嵌套类型的语言提供了引用这些类型路径的方法），
• 匿名类型 （用于定义匿名函数），
• 自我类型 （可以在Trait中使用 ），
• 键入别名 ，以及：
• 包对象 （2.8中介绍）
• 通用类型 （如Java），带有类型参数注释机制来控制泛型类型的子类型行为，
  • 协变泛型类型：注释+T声明类型T仅在协变位置使用。 Stack[T]是的子类型Stack[S]如果T是的子类型S 。
  • 逆变通用类型： -T将声明T仅用于逆变位置。
• 有界泛型类型（即使Java支持其中的一部分 ），
• 较高的kinded类型 ，允许表达比Java Generics更高级的类型关系，
• 抽象类型 （泛型类型的替代），
• 存在类型 （ 在Scala中使用，如Java通配符类型），
• 隐式类型 （参见“ Scala的可怕性是隐含的 ”，
• 查看有界类型 ，和
• 结构类型 ，用于通过指定所需类型的特征来指定类型（鸭子类型）。

Answer 2

Java的主要安全问题与方差有关。 基本上，程序员可以使用不正确的方差声明，这可能导致在Java中运行时抛出异常，而Scala不允许这样做。

事实上，Java的Array是共变体这一事实已经成为一个问题，因为它允许生成错误的代码。 例如，如sepp2k所示 ：

String[] strings = {"foo"};
Object[] objects = strings;
objects[0] = new Object();

然后，当然，Java中有原始类型，它允许所有类型的东西。

此外，虽然Scala也有它，但是有铸造。 Java API具有丰富的类型转换，并且没有类似Scala的case x: X => // x is now safely cast 。 当然，有一个案例使用instanceof来实现这一点，但没有动力去做。 实际上，Scala的asInstanceOf是故意冗长的。

这些是使Scala的类型系统更强大的东西。 正如VonC所示，它也更加丰富。