scala - Scala 类型系统的优点

Question

我正在探索 Scala 语言。我经常听到的一种说法是 Scala 拥有比 Java 更强大的类型系统。我认为人们的意思是:

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

我这样想对吗？

Answer 1

Scala 类型系统的主要优点不在于更强，而是更加更丰富(参见“The Scala Type System ”)。
(Java 可以定义其中一些，并实现其他一些，但 Scala 内置了它们)。
另请参阅The Myth Makers 1: Scala's "Type Types" ，评论Steve Yegge's blog post ，他“鄙视”Scala 为“弗兰肯斯坦的怪物”，因为“有类型类型，还有类型类型类型”。

• 使用值类型类(对于具有值语义的相当小的数据结构非常有用)而不是基元类型(Int、Double 等)，并隐式转换为“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 仅用于协变位置。如果 T 是 S 的子类型，则 Stack[T] 是 Stack[S] 的子类型。<
  • 逆变泛型类型:-T 将声明 T 仅用于逆变位置。
• 有界泛型类型(即使 Java supports some part of it )，
• Higher kinded types ，它允许表达比 Java 泛型更高级的类型关系，
• Abstract types (泛型类型的替代方案)，
• Existential types (像 Java 通配符类型一样使用 in Scala)，
• Implicit types (参见“The awesomeness of Scala is implicit”，
• View bounded types ，并且
• Structural types ，用于通过指定所需类型的特征(鸭子类型)来指定类型。