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]if 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所示,它也更加丰富.