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