最新的递归生成算法似乎在深度方面表现出一种独特的缺乏多样性

Question

特别是{{(generate (recursive-gen vector nat) 1000)}}的输出比我希望的要少。

Answer 1

评论者：floybix

是的，recursive-gen似乎不会生成标量，这意味着any-printable不会生成标量。

(require '[clojure.test.check.generators :as g]) (->> (g/sample g/any-printable 1000) (remove coll?)) ;; ()

Answer 2

评论者：gfredericks

recursive-gen应该能够在master分支上生成标量

Answer 3

评论者：floybix

噢，对不起，弄错了。

Answer 4

评论者：seancorfield

这也会导致http://dev.clojure.org/jira/browse/CLJ-2036吗？

Answer 5

评论者：gfredericks

我认为“不返回标量”的问题在master上已修复；这是一个更微妙的问题。

Answer 6

评论者：gfredericks

特别是TCHECK-83完成了。

Answer 7

参考： https://clojure.atlassian.net/browse/TCHECK-111 （由gfredericks报告）