Tôi tự hỏi liệu có bất kỳ lựa chọn thay thế nào cho Scala cố gắng cung cấp một hệ thống và cú pháp kiểu mạnh hơn không. Tôi nhận thức được các lựa chọn thay thế chức năng như Haskell, nhưng có bất kỳ thực sự đẩy bên OO tĩnh của mọi thứ, ví dụ trong các lĩnh vực như vậy, nơi mà Scala thiếu các lớp ảo, đầy đủ thừa kế và cú pháp xây dựng linh hoạt hơn, tĩnh kiểm tra hợp đồng, phụ thuộc vào đường dẫn mạnh mẽ hơn, MyTypes, công cụ sửa đổi bạn bè, nhập khẩu lớp học đầu tiên, hoặc có thể một số công cụ đánh máy bí truyền, tôi thậm chí còn chưa từng nghĩ đến/nghe nói.Các lựa chọn đa mô hình tĩnh OO định hướng tĩnh mạnh mẽ cho Scala
OO và ở mức độ thấp hơn Tĩnh dường như không mang tính thời trang trong những ngày này. Tuy nhiên, nó đánh tôi rằng sức mạnh của các máy tính hiện đại cho phép tạo ra các trình biên dịch tĩnh vượt xa những giấc mơ của các nhà biên dịch trình biên dịch trong những thập kỷ trước.
Tôi đoán là tôi đã không gặp bất kỳ điều gì, không có cách nào khác là tôi có khả năng muốn loại bỏ mã sản xuất trong thời gian sớm. Nhưng ngay cả khi họ vẫn còn rất nhiều ngôn ngữ học thuật, tôi vẫn muốn theo dõi họ và có thể chơi đùa với họ. Tôi đặc biệt tìm kiếm những gì có thể được gọi là lựa chọn thay thế lĩnh vực trái để Scala. Vì vậy, không phải Ceylon hay Kotlin đang cố gắng ưu tiên sự đơn giản trên quyền lực. Eiffel dường như không đi bất cứ nơi nào trong những ngày này. Tôi đã đi qua gBeta và Ceasar nhưng không thể làm việc ra nếu có bất kỳ khu vực mà họ mất đến Scala. Có khả năng nào khác không?
Tôi nghĩ hệ thống kiểu Scala không ai sánh kịp, nhưng vì lợi ích của các lựa chọn thay thế, hãy xem [Ioke] (http://ioke.org/). – opyate
@ sao chép Ah năng động của nó. –
Rất tiếc, tôi đã đọc "đa mô hình" và hào hứng khi cho bạn thấy Ioke :) – opyate