Tại sao thư viện lõi Clojure sử dụng dẫn xuất bê tông?

Question

Trong documentation of Clojure's type mechanisms, nó được tuyên bố rằng

• nguồn gốc bê tông là xấu
  • bạn không thể lấy được kiểu dữ liệu từ các lớp bê tông, chỉ có giao diện

Tuy nhiên, một số số core Clojure classes sử dụng dẫn xuất bê tông (t đây là những ví dụ khác, nhưng đây là những trường hợp duy nhất mà cha là một phần của clojure.lang):

• ARef kéo dài AReference
• Agent kéo dài ARef
• Atom kéo dài ARef
• Namespace kéo dài AReference
• Ref kéo dài ARef
• Var kéo dài ARef

Bên cạnh đó, có rất nhiều lớp trừu tượng. Tuy nhiên, không có cách nào để tạo ra tương đương với một lớp trừu tượng trong Clojure, và với tôi, phần mở rộng của một lớp trừu tượng dường như có tất cả các nhược điểm giống như dẫn xuất bê tông thông thường.

Tại sao dẫn xuất bê tông được sử dụng ở đây?

Answer 1

Tôi không cảm thấy mình đủ thẩm quyền khi nói về công cụ triết học, nhưng đây là hai xu của tôi.

Lý do văn bản được trích dẫn của bạn xuất hiện ở đó, là cảnh báo lạm dụng defrecord và deftype. Clojure không khuyến khích hiển thị hồ sơ/loại dưới dạng API. Thay vào đó, người ta nên phơi bày giao diện bất cứ khi nào có thể. Sau khi tất cả, ngôn ngữ OO phơi bày các lớp và ngôn ngữ FP cho thấy các hàm/phương thức/giao diện.

Mặt khác, bạn đã đề cập đến việc triển khai clojure tự sử dụng các lớp trừu tượng và kế thừa chúng. Tôi thà coi đó là "những công việc bẩn thỉu mà một số người phải làm". JVM được thiết kế sao cho nó hiệu quả nhất trên các nguyên thủy trong thế giới OO. Khoảng cách giữa máy ảo thế giới OO và ngôn ngữ FP-world phải được điền bởi ai đó.