Sự cạnh tranh nào mà Scala đã thực hiện để chạy trên JVM?

Question

Scala là một ngôn ngữ tuyệt vời, nhưng tôi tự hỏi làm thế nào có thể được cải thiện nếu nó có thời gian chạy riêng của nó?
I.e. những lựa chọn thiết kế nào được thực hiện vì lựa chọn JVM?

Answer 1

This article là một cuộc thảo luận với Martin Odersky (người sáng tạo của Scala) và bao gồm các thỏa hiệp được thực hiện trong Scala để tương thích với Java. Bài báo đề cập đến:

1. quá tải tĩnh của phương pháp
2. Có cả những đặc điểm và các lớp
3. Bao gồm các null con trỏ.

Answer 2

Hai thỏa hiệp quan trọng nhất mà tôi biết về là:

• type erasure ("reflecting on Type"): Nó phải manage a Manifest để có được xung quanh biên dịch Java (không phụ thuộc vào JVM, vì lý do tương thích ngược).
• bộ sưu tập kiểu nguyên thủy: ví dụ: arrays

  sơ đồ xử lý mảng mới trong Scala 2.8. Thay vì boxing/unboxing và trình biên dịch ma thuật khác chương trình này dựa trên chuyển đổi tiềm ẩn và biểu hiện lồng ghép các mảng

Đó là hai hạn chế JVM chính, khi nói đến việc quản lý loại generic (với giới hạn): Các Java JVM không giữ kiểu sử dụng chính xác trong một đối tượng chung, và nó có các kiểu "nguyên thủy".

---

Nhưng bạn cũng có thể xem xét:

• tối ưu hóa Tail gọi là not yet full supported by the JVM, là hard to do anyway (và chưa Scala 2.8 giới thiệu the @tailrec annotation)
• UAP (universal Access Principle) cần phải được mô phỏng (không được hỗ trợ bởi Java) , và sẽ sớm có completed for Value Holder (@proxy)
• cơ chế trộn tất cả cũng cần được mô phỏng
• mor e nói chung, các huge number of static types được giới thiệu bởi Scala nhu cầu (đối với hầu hết trong số họ) được tạo ra trong Java:

Để che càng nhiều khả năng càng tốt, Scala cung cấp:

• lớp thông thường loại,
• loại lớp Value,
• loại Nonnullable,
• loại Monad,
• Loại đặc điểm,
• Loại đối tượng Singleton (mô-đun thủ tục, các lớp tiện ích, v.v.),
• loại Compound,
• loại chức năng,
• lớp Case,
• loại Path-phụ thuộc,
• loại Anonymous,
• loại Tự,
• Loại bí danh,
• Generic các loại,
• Loại chung biến thể,
• Tiếp theo kiểu generic ravariant,
• loại giáp chung,
• loại Tóm tắt,
• loại Hiện sinh,
• loại Implicit,
• loại Augmented,
• Xem giáp loại, và
• loại cấu cho phép một hình thức đánh máy vịt khi mọi thứ khác không thành công

Answer 3

Ít vấn đề hơn với thời gian chạy hơn là sự trì hoãn văn hóa: phổ biến bình đẳng, băm, toString.

Gắn chặt hơn với máy ảo: nghiêm ngặt bằng cách đánh giá mặc định, chức năng không tinh khiết, ngoại lệ.