Question

下面的法典应该通过什么?
• 如何使用测试功能。
如果不是的话,如何写?

• 类型=[f、g] [职能]
备选案文能否接受功能? (一) 通常产生功能;和检查

错误:

<interactive>:1:12:
    No instance for (Eq (b0 -> b0))
      arising from a use of `prop_commutative 
    Possible fix: add an instance declaration for (Eq (b0 -> b0))
    In the first argument of `quickCheck , namely `prop_commutative 
    In the expression: quickCheck prop_commutative
    In an equation for `it : it = quickCheck prop_commutative

[更新]

图2

Another writing mimic the example in Function, parse error at = in ghci let prop_commutative (Fun _ f) (Fun _ g) = (f.g) == (g.f) can run

守则:

import Test.QuickCheck.Function
import Test.QuickCheck.Gen
import Test.QuickCheck

let prop_commutative (Fun _ f) (Fun _ g) = (f.g) == (g.f)

main = quickCheck prop_commutative

Answer 1

QuickCheck负责counterexamples。因此,你需要否定你所寻求的财产:

prop1 f g x = not $ (f . g) x == (g . f) x

This particular property don t specify function type - any function of a -> a could work. So you need to specify types for f and g, or for whole function prop1.

You cannot compare f . g and g . f for equality because they are both functions and you cannot have a sensible definition of Eq for functions with infinite domains in Haskell. You need to randomly generate the argument too and compare the f . g and g . f functions by comparing their results by passing a random argument to both.
阅读。 Fun_ f。 a mono吗?> 快速反应检查不能产生不同类型的随机功能,只能产生某些特定类型的功能。但. 是poly吗?>,因此不能根据具体情况推断出特定类型的 f。因此,你需要选择<代码>f和g的某些任意类型,并在贵财产的签名类型上加以具体说明。

另外,您不需要<代码><>顶级定义>。只能使用<代码>let.in和do内的表述。页: 1

Answer 2

我从Nponeccop处收到一份说明,建议采用这一样板:

import Test.QuickCheck

prop_commutative f g x = ...

main = quickCheck $ prop_commutative f g
  where f x = ...
        g x = ...

这种做法要求你采取反措施。简单明了:设想两个职能,如果两个方式组成,不会产生同样的结果。这种做法还利用了部分适用。 Ive将两项职能交给prop_commutative,使之仅限x 检查生成和测试。



这可能过于简单。 如果你能够这样做,那么下一步是消除具体的反措施,说明如何迅速做到。 检查为你带来职能。

友情链接