Type indiquant des fonctions dans Clojure

Question

J'essaie de résoudre un avertissement de réflexion dans Clojure qui semble résulter de l'absence d'inférence de type sur les valeurs de retour de fonction qui sont des objets Java normaux.

exemple de code Trivial qui démontre la question:

(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 

Quelle est la meilleure façon de résoudre ce problème? Cela peut-il être fait avec des conseils de type?

Answer 1

Ces deux versions semblent fonctionner:

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 

Notez que le type hinting est encore un peu en pleine mutation dans Clojure en ce moment menant à la version 1.2, donc cela pourrait ne pas fonctionner de la même façon pour toujours. Notez également que #^ est déprécié au profit de ^.