在Hedgehog中通過'Gen'或'forAll'生成隨機輸入之間的區別

Question

假設，我想在Haskell的hedgehog庫的幫助下測試Sum的以下關聯屬性：

a <> (b <> c) ≡ (a <> b) <> c

我實際上有兩種方法來生成隨機輸入。

1.在Gen生成所有內容（使用Gen的Applicative和Monad實例）

genTriple :: Get (Int, Int, Int)
genTriple = liftA3 (,,) Gen.enumBounded Gen.enumBounded Gen.enumBounded

prop_assoc :: Property
prop_assoc = property $ do
  (a, b, c) <- forAll genTriple
  (Sum a <> Sum b) <> Sum c === Sum a <> (Sum b <> Sum c)

2.在forAll下生成每個字段

prop_assoc :: Property
prop_assoc = property $ do
  a <- forAll Gen.enumBounded
  b <- forAll Gen.enumBounded
  c <- forAll Gen.enumBounded
  (Sum a <> Sum b) <> Sum c === Sum a <> (Sum b <> Sum c)

我想知道，兩種方法有什么區別？ 它是否以某種方式影響性能或並行化或隨機性？

Answer 1

包維護者在相應的GitHub問題下回答了這個問題：

• https://github.com/hedgehogqa/haskell-hedgehog/issues/181