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

在gfrederick的基础上构建一个更完整的解决方案：

(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)))