再帰的なデータ型の任意のインスタンスを作成するにはどうすればよいですか？

Question

これは長さ3の任意のリストを作成すると思いますが、どのようにして任意の長さのリストを作成できますか？

import Test.QuickCheck 

data List a = 
    Nil 
    | Cons a (List a) 
    deriving (Eq, Show) 

instance Arbitrary a => Arbitrary (List a) where 
    arbitrary = do 
    a <- arbitrary 
    a' <- arbitrary 
    a'' <- arbitrary 
    return $ (Cons a (Cons a' (Cons a'' (Nil)))) 

Answer 1

：

もう一つの方法は、List aが[a]に同型であることを認識し、リストのArbitraryインスタンスを再利用することです。意味は、インスタンスまでですが、それは、生成されたarbitraryのサイズを管理することができます：

instance Arbitrary a => Arbitrary (List a) where 
    arbitrary = sized go 
    where go 0 = pure Nil 
      go n = do 
      xs <- go (n - 1) 
      x <- arbitrary 
      return (Cons x xs) 

比較のために、ここで[]さんarbitrary instanceです： `oneOf`がすることを考えると

instance Arbitrary a => Arbitrary [a] where 
    arbitrary = sized $ \n -> 
    do k <- choose (0,n) 
     sequence [ arbitrary | _ <- [1..k] ] 

Answer 2

あなたは空のリストのどちらかを選ぶか、再帰的に長いリストを生成するためにoneofを使用することができます。

λ> generate (arbitrary :: Gen (List Int)) 
Nil 
λ> generate (arbitrary :: Gen (List Int)) 
Cons 4 (Cons 26 Nil) 
λ> generate (arbitrary :: Gen (List Int)) 
Nil 

---

発言

として：ここ

instance Arbitrary a => Arbitrary (List a) where 
    arbitrary = 
    oneof [nil, cons] 
    where nil = return Nil 
      cons = do 
      h <- arbitrary 
      tl <- arbitrary 
      return $ Cons h tl 

はいくつかのテストですゼータはこれを指摘しました。あなたには明らかな欠陥があります。病気おそらく非常に短いリストを生成：

• P（無記号）= 0.5
• P（（_ Cons無記号）= 0.25
• P（（_ Cons _ Cons無記号）= 0.125
• ..それは0.5

  ゼータソリューションは肝炎しない確率でNilを描きますよう。

eこの問題！

あなたが好きなら代わりにoneofのfrequencyを使用して、これらの確率を適応取得することができます。

ここ

frequency [(1,nil), (4,cons)] 

あなたはp(Nil) = 0.2とp(Cons) = 0.8を持っていますが、もちろん、あなたの好みに合わせて、これを適応させることができます。 sizedで

instance Arbitrary a => Arbitrary (List a) where 
    arbitrary = toList <$> arbitrary 

おかげゼタ