Question

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

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

我这么想是对的吗？

Answer 1

Scala Type系统的主要优点不是更强，而是远远更丰富（参见“The Scala Type System”）。
（Java可以定义其中的一些，并实现其他的，但Scala内置了它们。）另请参阅The Myth Makers 1: Scala's "Type Types"，评论Steve Yegge's blog post，他将“Scala”视为“Frankenstein's Monster”，因为“有类型类型和类型类型”。

使用值类型类（对于具有值语义的合理小数据结构非常有用）而不是基元类型（Int，Doubles，...），并为其他方法隐式转换为“Rich”类。
Nonnullable type
Monad types
特质类型（以及随附的mixin composition）
单例对象类型（只需定义一个'对象'，你有一个），
Compound types（对象类型的交集，表示对象的类型是其他几种类型的子类型），
Functional types（(type1, …)=>returnType语法），
Case classes（导出其构造函数参数并通过模式匹配提供递归分解机制的常规类），
Path-dependent types（允许您嵌套类型的语言提供了引用这些类型路径的方法），
Anonymous types（用于定义匿名函数），
Self types（可以是used for instance in Trait），
Type aliases，以及：
package object（在2.8中介绍）
Generic types（与Java一样），用type parameter annotation mechanism来控制泛型类型的子类型行为，
- 协变泛型类型：注释+T声明类型T仅用于协变位置。如果Stack[T]是Stack[S]的子类型，则T是S的子类型。
- 逆变通用类型：-T会声明T仅用于逆变位置。
有界泛型类型（即使Java supports some part of it），
Higher kinded types，允许表达比Java Generics更高级的类型关系，
Abstract types（泛型类型的替代品），
Existential types（与Java通配符类型一样使用in Scala），
Implicit types（请参阅“The awesomeness of Scala is implicit”，
View bounded types和
Structural types，用于通过指定所需类型的特征来指定类型（鸭子类型）。

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所示。

Scala类型系统的优点

2 个答案: