prop/for-all应允许后续绑定访问前面的绑定

Question

例如

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

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