pos-int 命名令人困惑

Question

生成器 {{neg-int}} 和 {{pos-int}} 生成 {{0}}，这很令人困惑，因为 {{(= (pos? 0} (neg? 0) false)}}。建议将 {{s-pos-int}} 和 {{s-neg-int}} 分别更改为 {{pos-int}} 和 {{neg-int}}，并替换当前的 {{neg-int}} 和 {{pos-int}}。新名称的建议包括 {{non-x-int}} 和 {{not-x-int}}。

[原始问题|https://github.com/reiddraper/simple-check/issues/46]

Answer 1

评论者：gshayban

`
用户> (clojure.spec.gen.alpha/sample (clojure.spec.alpha/gen pos-int?))
(1 1 1 4 2 4 31 1 8 4)

用户> (clojure.test.check.generators/sample clojure.test.check.generators/pos-int)
(0 0 1 1 0 5 1 2 1 4)
`

使用 clojure.spec 生成器此生成器的用户永远看不到零

Answer 2

评论者：gfredericks

我认为应该弃用 {{pos-int}} 和 {{neg-int}}（因为它们命名令人困惑），可能不会替换。{{pos-int}} 仅仅是 {{nat}}，而 {{neg-int}} 是一种奇特的分布，容易自己制作。

我想要一些重新思考的整数生成器集，但不确定它会是什么样子，但可以肯定的是，它不会涉及这两个，因此弃用它们应该是安全的。

Answer 3

参考：[https://clojure.atlassian.net/browse/TCHECK-2](https://clojure.atlassian.net/browse/TCHECK-2)（由hypirion报告）