Loại gợi ý cho các hàm trong Clojure

Question

Tôi đang cố gắng giải quyết một cảnh báo phản chiếu trong Clojure có vẻ là do thiếu suy luận kiểu về các giá trị trả về hàm là các đối tượng Java bình thường.

dụ Trivial mã đó chứng tỏ vấn đề:

(set! *warn-on-reflection* true)  

(defn foo [#^Integer x] (+ 3 x)) 

(.equals (foo 2) (foo 2)) 

=> Reflection warning, NO_SOURCE_PATH:10 - call to equals can't be resolved. 
    true 

cách tốt nhất để giải quyết việc này là gì? Điều này có thể được thực hiện với các gợi ý loại?

Answer 1

Hai phiên bản xuất hiện để làm việc:

user> (defn foo [^Integer x] (+ 3 x)) 
#'user/foo 
user> (.equals (foo 2) (foo 2)) 
Reflection warning, NO_SOURCE_FILE:1 - call to equals can't be resolved. ;' 
true 
user> (.equals ^Integer (foo 2) ^Integer (foo 2)) 
true 
user> (defn ^Integer foo [^Integer x] (+ 3 x)) 
#'user/foo 
user> (.equals (foo 2) (foo 2)) 
true 

Lưu ý rằng loại gián tiếp vẫn là một chút thay đổi liên tục trong Clojure ngay bây giờ dẫn đến việc phát hành 1,2, vì vậy điều này có thể không hoạt động theo cùng một cách vĩnh viễn. Cũng lưu ý rằng #^ không còn được dùng để ủng hộ ^.