Haskell，QuickCheck，伪造(错误的)属性 :

Question

有没有办法伪造这个(错误的)属性:

prop :: Eq a => [a] -> Bool
prop xs = reverse xs == xs

当我使用 QuickCheck 和后来的 VerboseCheck 时，它提供了 100 种不同的形式:

[(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]

通过:
最终结果是:

+++ OK, passed 100 tests.

Answer 1

正好

如果您尝试在 GHCi 中对其进行评估，则必须选择特定的实例类型 Eq a使用，并与 ExtendedDefaultRules扩展通常在 GHCi 中启用，它选择 () .

对于类型 () ，因为它只有一个(非底部)值，所以这个命题实际上是真的。

最简单的解决方法是通过提供类型注释来选择(几乎)任何其他类型:

Prelude Test.QuickCheck> quickCheck (prop :: [Int] -> Bool)
*** Failed! Falsifiable (after 4 tests and 3 shrinks): 
[0,1]