clojure.spec Validierung für fdef

Question

Ich versuche, eine höhere Ordnung Funktion in clojure.spec mit der Version 1.9.0-alpha11 zu schreiben und war nicht in der Lage, die Validierung gegen die zurückgegebene Funktion ausgeführt werden.

Unter Verwendung des Beispiels in den Funktionen höherer Ordnung Abschnitt der Führungs clojure.spec definiere ich eine adder Form als:

:

(defn adder [x] #(+ x %)) 

Wie in der Anleitung beschrieben, einen I spec wie erstellen

(s/fdef adder 
    :args (s/cat :x number?) 
    :ret (s/fspec :args (s/cat :y number?) 
       :ret number?) 
    :fn #(= (-> % :args :x) ((:ret %) 0))) 

Als ich es in der repl auszuführen, wird eine Ausnahme anstelle des gewünschten spec Validierungsfehler ausgelöst:

user> (def add2 (adder 2)) 
#'user/add2 
user> (add2 2) 
4 
user> (add2 "s") 
ClassCastException java.lang.String cannot be cast to java.lang.Number clojure.lang.Numbers.add (Numbers.java:128)                                       
user> 

Ich versuchte mit (stest/instrument `adder) spec_ing einzuschalten. Während dies für Funktionen funktioniert, funktioniert es nicht für Funktionen höherer Ordnung.

Answer 1

So wie es in clojure 1.9-alpha14 steht, können Funktionen höherer Ordnung nicht auf diese Weise validiert werden. Mit Blick auf clojure.spec.test/instrument sucht es nach Funktionen in der Registrierung von spec, die nur fdef Funktionen enthalten.

Die fspec im :ret verwendet wird, wenn über adderclojure.spec.test/check Tests und die Funktion neben dokumentieren, dass der Wert davon ist.