prop/for-all 应该允许后面的绑定引用前面的绑定

Question

例如

(prop/for-all [x (gen/nat)
               y (gen/choose 0 (dec x))] ;; y 是小于 x 的 nat
  ...)

Answer 1

评论者：gfredericks

我之前考虑过这个问题，我相当犹豫，因为这可能会意味着在多个绑定时都要使用 {{bind}}，这意味着使用独立生成器的旧式用法突然开始以较差的性能缩小（因为一般难以缩小 {{bind}}）。

尽管如此，我认为与 {{gen/let}} 的一致性确实很有价值。

另一个选择是具有 {{bind}} 行为的替代 {{for-all}}，虽然我不确定应该叫什么名字。

Answer 2

评论者：gfredericks

回应我之前的评论，我认为 TCHECK-133 证明使用 {{bind}} 可能不是问题。或者至少不会像我想的那么大。

Answer 3

参考：https://clojure.atlassian.net/browse/TCHECK-85（由 alex+import 报告）