inst-in 和 int-in 生成器应具有均匀分布，不应偏向于最小值

Question

s/inst-in 和 s/int-in 生成器基于从 0 开始增长的 gen/large-integer*。

`
(require '[clojure.spec.alpha :as s] '[clojure.spec.gen.alpha :as gen])
(gen/sample (s/gen (s/int-in 0 100)))
;;=> (1 0 1 1 1 0 1 1 72 1)

(gen/sample (s/gen (s/inst-in #inst "2001-01-01" #inst "2001-12-31")))）
;;=> (#inst "2001-01-01T00:00:00.000-00:00" #inst "2001-01-01T00:00:00.000-00:00" #inst "2001-01-01T00:00:00.001-00:00" #inst "2001-01-01T00:00:00.001-00:00" ...)
`

建议：反而应该使用均匀分布生成器来处理 s/inst-in

在相同的情况下

`
(26 16 65 96 63 37 31 4 94 9)

(#inst "2001-03-03T04:51:43.702-00:00"
#inst "2001-07-25T07:13:03.224-00:00"
#inst "2001-03-31T18:28:41.625-00:00"
#inst "2001-04-17T19:33:14.176-00:00"
#inst "2001-01-14T07:03:08.521-00:00"
#inst "2001-06-06T09:52:03.421-00:00" ...)
`

补丁： clj-2179.patch

Answer 1

评论者：gfredericks

这个问题试图解决什么问题？

Answer 2

评论者：alexmiller

通常我会发现值偏向范围的最低值（尤其是在 inst 的情况下，值必须增长很多才能显得不同），这不是我作为用户期望的。

但我认为问题是范围规范预期的行为是什么。Rich 和 Stu 是否同意，我现在还不知道。:)

Answer 3

评论者：gfredericks

例如，我建议至少分别生成时间戳的各个组成部分（年、月、日、小时等）并用 {{gen/fmap}} 组合它们。这样可以让生成更自然，并且更容易指定你喜欢的任何倾向现时的策略。

关于整数范围，我只想指出 test.check 的一个特性是使用“小”值开始测试，所以不管你在什么程度上施加均匀分布，你都会抵消这个特性。

Answer 4

_由：gfredericks_发表的评论

如果你需要一个既可以从 min 开始也可以从 max 开始的生成器，并且可以收缩到任一端，如下所示应该可以工作


(defn bi-biased-int-range
  [min max]
  (let [g (gen/large-integer* {:min min, :max max})
        g' (gen/let [x g] (- max (- x min)))]
    (gen/one-of [g g']))))

Answer 5

由：stu发表的评论

这两个案例可能需要分别考虑。我喜欢 Gary 对时间戳的想法，认为整数生成器应该保持原样。

Answer 6

参考： https://clojure.atlassian.net/browse/CLJ-2179 (由 alexmiller 报告)