所以我有这个quickCheck命题逻辑生成器:
instance Arbitrary Form where
arbitrary = genForm
genForm = sized genForm'
genForm' 0 = fmap Prop (choose (1,15))
genForm' n | n > 15 = genForm' (n `div` 2)
genForm' n | n > 0 =
oneof [fmap Prop (choose (1,15)),
fmap Neg subform,
fmap Cnj subforms,
fmap Dsj subforms,
liftM2 Impl subform subform,
liftM2 Equiv subform subform]
where subform = genForm' (n `div` 2)
subforms = resize (n `div` 2) (vector (n `div` 2))
数据类型定义如下:
type Name = Int
data Form = Prop Name
| Neg Form
| Cnj [Form]
| Dsj [Form]
| Impl Form Form
| Equiv Form Form
deriving (Eq,Ord)
问题在于此生成器将以以下形式生成:+[]
(无任何析取)。我不希望我的运算符没有嵌套的Prop
成员,因为它会使命题公式无效。我想确保没有选择最后没有Prop
成员。
我认为此问题来自resize (div n 2)
。甚至在n
时,它最终会命中0
,并且在生成时将不进一步执行,因此将创建一个空成员。删除resize
无济于事,因为它不会生成结尾的“树”。因此,它似乎是必需的,但应该以某种方式进行调整。
但是我对Haskell并不了解,并且在调试/阅读文档方面遇到困难。
答案 0 :(得分:1)
将vector
应用于非零参数:
subforms = resize (n `div` 2) (vector (1 + (n `div` 2)))
或者使用listOf1 arbitrary
代替vector
subforms = resize (n `div` 2) (listOf1 arbitrary)
来自后续评论:
甚至需要生成的数量至少> 2
应用vector
的长度> = 2:
subforms = resize (n `div` 2) (vector (2 + (n `div` 2)))
或显式地在前面附加两个元素(使用listOf
允许长度也可以变化):
subforms = resize (n `div` 2) (listOf2 arbitrary)
where
listOf2 :: Gen a -> Gen [a]
listOf2 gen = liftA2 (:) gen (liftA2 (:) gen (listOf gen))
-- 1. (listOf gen) to generate a list
-- 2. Call gen twice to generate two more elements
-- 3. Append everything together with `(:)`
答案 1 :(得分:1)
我同意dfeuer的观点,即空析取和连词是有意义的,并且在逻辑上分别表示假和真。但是,如果您不想使用这样的术语,那么我认为您是通过尝试在快速检查中修复它来解决问题的。相反,通过对这些构造函数使用NonEmpty Form
而不是[Form]
来将其修复为您的数据类型。然后,不仅quickcheck无法生成这些无效的表单,而且其他所有人也将无法生成。