Clojure có một số tính năng thú vị để thể hiện các loại bao gồm nhưng không giới hạn ở deftype, defprotocol, reify và extend.Điểm tương đồng và khác biệt giữa các tính năng nhập trong Viền chữ và các tính năng kiểu giống như trong Clojure là gì?
Điểm tương đồng và khác biệt giữa các tính năng nhập trong Viền chữ và các tính năng kiểu giống như trong Clojure là gì?
deftype và defprotocol xác định hành vi động trong Clojure. Trong Vợt, chúng tôi sẽ làm những việc như vậy với struct hoặc struct-property, mặc dù không có gì giống như defprotocol trong Vợt.
Chỉnh sửa: Vợt hiện có generics, giống như giao thức Clojure.
reify và extend, tôi nghĩ, tương ứng với việc sử dụng make-struct-type trong Vợt, tạo cấu trúc kiểu động mới.
Sự khác biệt lớn giữa vợt được đánh máy, và tất cả các tính năng này, là vợt đánh máy kiểm tra chương trình tĩnh - trước khi cố gắng chạy nó. Bạn không bao giờ có thể áp dụng accessor sai trong một chương trình Typed Racket, hoặc sử dụng một số như một hàm. Bạn thậm chí không thể chạy một chương trình có thể có lỗi như vậy.
Hiện tại, các tính năng của Clojure giống như Typed Racket là các chú thích mà nó sử dụng để thực hiện.
Chỉnh sửa: Hiện tại có Typed Clojure bởi Ambrose Bonnaire-Sergeant, được lấy cảm hứng và dựa trên Typed Racket.