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