最新递归生成算法似乎在深度方面表现出一定的单一性

Question

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

Answer 1

评论者：floybix

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

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

Answer 2

评论者：gfredericks

recursive-gen应该在主分支上生成标量

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报告）