Bir kayıt veya türün aslında iddia ettiği bir protokolü uygulayıp uygulamadığını kontrol etmek için bir Clojure derleme zamanı aracı var mı?

Question

Clojure derleyicisinin bunu varsayılan olarak yapmadığı görünüyor: Does the Clojure compiler check if records and types implement protocols?

Bunu yapan Lein eklentileri var mı?

Answer 1

core.typed inanılmaz official website görebileceğiniz gibi, "Clojure için isteğe bağlı bir sistem" tanıttı. Özellikle

sen kendi defprotocol makro (from core.typed wiki) kullanmak isteyebilirsiniz:

Protokol tanımları kullanmalıdır clojure.core.typed/defprotocol olan sözdizimi defprotocol anımsatır ve daktilo fn:

(defprotocol IUnifyWithLVar 
    (unify-with-lvar [v u :- LVar s :- ISubstitutions] :- (U ISubstitutions Fail))) 

polimorfik protokol desteklenir:

(defprotocol [a b] Lens 
    (-fetch [l x :- a] :- b) 
    (-putback [l x :- a v :- b] :- a)) 

installed bir kez, ile leiningen üzerinden çalıştırın. Açıktaki olumsuz yön, kodunuza açıklama eklemeniz gerektiğidir. Statik tip kontrolü kullanarak kodunuzun güvenliğini artırmak için ödeme maliyeti budur.

satisfies? ve instance? işlevleriyle de ilgilenebilirsiniz.