Tại sao không có từ khóa tĩnh trong Kotlin?

Kotlin được biết đến chủ yếu như là một sự thay thế thả xuống cho Java, nhưng nó thoát khỏi cấu trúc Java nổi tiếng: statictừ khóa. Thay vào đó, chức năng cấp lớp đó được cung cấp chủ yếu bởi các đối tượng đồng hành.

Điều gì là sai với các phương thức tĩnh và các trường mà các đối tượng đồng hành cung cấp một sự thay thế tốt hơn? Tôi bối rối về lý do, và không thể tìm thấy bất kỳ lời giải thích nào trong tài liệu.

Scala cũng thay thế các khai báo cấp lớp bằng một đối tượng 'Singleton'. Ưu điểm chính của điều này là mọi thứ đều là một đối tượng. Trong Java, các thành viên tĩnh được đối xử rất khác so với các thành viên đối tượng. Điều này có nghĩa là bạn không thể thực hiện những việc như triển khai giao diện hoặc đưa 'thể hiện' của lớp vào bản đồ hoặc chuyển nó làm tham số cho phương thức lấy Object. Đối tượng đồng hành cho phép những điều này. Đó là lợi thế.

Trích dẫn từ các tài liệu tham khảo của Kotlin :

Lưu ý rằng, mặc dù các thành viên của các đối tượng đồng hành trông giống như các thành viên tĩnh trong các ngôn ngữ khác, trong thời gian chạy, chúng vẫn là các thành viên thể hiện của các đối tượng thực và, ví dụ, có thể thực hiện các giao diện.

Nghe có vẻ rất giống với tôi như các nhà thiết kế của Kotlin coi đây là một lợi thế so với các thành viên tĩnh của Java.

Hơn nữa, phần về khả năng tương tác Java và các thành viên tĩnh giải thích cách các đối tượng đồng hành có thể được sử dụng để tạo các thành viên hoạt động hiệu quả như các thành viên tĩnh khi được chú thích @JvmStatic.

Kotlin là một ngôn ngữ hướng đối tượng. Trong một ngôn ngữ hướng đối tượng, một cái gì đó không phải là một đối tượng là một hạn chế cực kỳ tê liệt. Các lớp không phải là đối tượng, nhưng đối tượng là đối tượng (duh!), Vì vậy câu hỏi nên là: tại sao một ngôn ngữ sẽ không sử dụng các đối tượng đồng hành?

Một khía cạnh khác là sự đơn giản: tại sao có hai thứ, đối tượng có thành viên thể hiện và lớp có thành viên tĩnh khi bạn chỉ có thể có đối tượng có thành viên thể hiện?

Một cách khác được sử dụng trong nhiều ngôn ngữ có nguồn gốc từ Smalltalk, là tự biến các lớp thành đối tượng. Ví dụ, trong các lớp Smalltalk là các thể hiện của hệ thống phân cấp song song của siêu dữ liệu . Trong Ruby, các lớp là các thể hiện của Classlớp (và vâng, điều đó có nghĩa là đó Classlà một thể hiện của chính nó). Trong trường hợp đó, "các phương thức lớp" thực sự chỉ là các phương thức cá thể bình thường của siêu dữ liệu của lớp. Tôi không biết tại sao thiết kế này không được chọn trong Java (vì nó gần với mối quan hệ với Smalltalk), nhưng nó có thể có liên quan đến việc đơn giản hóa hệ thống loại (lưu ý rằng hầu hết các ngôn ngữ có các đối tượng lớp có xu hướng ngôn ngữ động).