Scala在JVM上運行了什麼？

Question

Scala是一種很棒的語言，但是我想知道如果它有自己的運行時，怎麼能改進呢？
I.e.由於JVM的選擇而做出了哪些設計選擇？

Answer 1

This article是與Martin Odersky（Scala的創建者）的一次討論，幷包含Scala爲了與Java兼容而作出的妥協。文中提到：

1. 的方法靜態重載
2. 有兩個性狀和類
3. 夾雜null指針。

Answer 2

我知道的兩個最重要的妥協是：

• type erasure（「reflecting on Type」）：它有​​繞過Java編譯（獨立於JVM的，爲了向後兼容的原因）。
• 收集原始類型：例如： - 在斯卡拉2.8處理陣列arrays

  新方案。相反，裝箱/拆箱和其他編譯器法寶的方案依賴於隱式轉換和艙單集成陣列

這些是兩個主要的JVM的限制，當它涉及到管理的通用型（邊界）：該Java JVM並不保留通用對象中使用的確切類型，它具有「原始」類型。

---

但你也可以考慮：

• 尾調用優化not yet full supported by the JVM，爲hard to do anyway（然而斯卡拉2.8引入了the @tailrec annotation）
• UAP (universal Access Principle)需要效仿（不支持Java） ，並且將很快completed for Value Holder (@proxy)
• 所有混入機制也需要模仿
• mor

爲了覆蓋儘可能多的可能性，可能的話，Scala中提供：

• 常規E類一般地，huge number of static types通過Scala的需要（對於大多數）在Java中產生引入類型，
• 值類類型，
• 非空類型，
• 單子種類，
• 特徵類型，
• 單例對象類型（過程模塊，實用類等）），
• 複合類型，
• 功能類型，
• 案例類，
• 路徑依賴的類型，
• 匿名類型，
• 自我類型，
• 類型別名，
• 通用
• 協變通用類型，
• Cont ravariant泛型類型，
• 界泛型類型，
• 抽象類型，
• 生存類型，
• 隱式類型，
• 增強型，
• 查看界類型，並
• 結構類型，允許當一切都失敗時，鴨子打字的一種形式

Answer 3

與文化宿醉相比，運行時問題更少：通用平等，哈希，toString。

與虛擬機的關係更爲密切：缺省評估嚴格，不純功能，例外。