在 clojure.spec exercise-fn 工作时遇到一些问题

Question

在尝试使用规范库时，我在尝试使用 exercise-fn 时遇到错误。我已将其缩减为 the main guide page 上发布的示例，没有任何变化。

相关代码：

(ns spec1
  (:require [clojure.spec.alpha :as s]))

;;this and the fdef are literal copies from the example page
(defn adder [x] #(+ x %))

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

现在，输入以下内容

(s/exercise-fn adder)

报错：

Exception No :args spec found, can't generate  clojure.spec.alpha/exercise-fn (alpha.clj:1833)

Dependencies/versions 使用，[org.clojure/clojure "1.9.0-beta3"] [org.clojure/tools.logging "0.4.0"] [org.clojure/test.check "0.9.0"]

有人知道为什么会这样吗？谢谢。

Answer 1

函数名需要反引号，会加上命名空间前缀：

(s/exercise-fn `adder)

比如我的测试代码中：

(s/fdef ranged-rand
  :args (s/and
          (s/cat :start int? :end int?)
          #(< (:start %) (:end %) 1e9)) ; need add 1e9 limit to avoid integer overflow
  :ret int?
  :fn (s/and #(>= (:ret %) (-> % :args :start))
             #(< (:ret %) (-> % :args :end))))

(dotest
  (when true
    (stest/instrument `ranged-rand)
    (is (thrown? Exception (ranged-rand 8 5))))
  (spyx (s/exercise-fn `ranged-rand)))

这导致：

(s/exercise-fn (quote tst.tupelo.x.spec/ranged-rand)) 
  => ([(-2 0) -1] [(-4 1) -1] [(-2 0) -2] [(-1 0) -1] [(-14 6) -4] 
      [(-36 51) 45] [(-28 -3) -7] [(0 28) 27] [(-228 -53) -130] [(-2 0) -1])

请注意，使用了名称空间限定的函数名称 tst.tupelo.x.spec/ranged-rand。

在 clojure.spec exercise-fn 工作时遇到一些问题

Having some trouble getting clojure.spec exercise-fn working

clojure

clojure.spec