clojure - test.check 中的函数生成器

Question

我想为函数制作一个生成器。

我注意到确实有IFn值的生成器，但是当函数域是无限的（并且由于值是严格的）时，将它们用作函数的生成器通常是不切实际的。

这个功能是否存在或者我必须自己实现它？

Answer 1

我认为答案取决于您期望该功能具有什么样的行为。通常，您可以使用gen/let或gen/fmap根据生成的值创建任意函数。例如，您可以生成一个值列表并使用它来构造一个函数，该函数根据hash输入从列表中选择某些内容：

(gen/let [rets (gen/not-empty (gen/vector gen/any))]
  (fn [x]
    (rets (mod (hash x) (count rets)))))

Answer 2

在 gfredericks 的基础上回答更完整的解决方案：

(defn fn-gen
  ([result-gen results-n result-scale]
   (gen/fmap
    (fn [results] (fn [& args] (get results (mod (apply + (map hash args)) results-n))))
    (gen/vector (gen/scale (partial + result-scale) result-gen) results-n)))
  ([result-gen result-n] (fn-gen result-gen result-n 10))
  ([result-gen] (fn-gen result-gen 10)))