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所示，它也更加豐富。