Question

编程 haskell QuickCheck的使用 题目如下。。求助！

这是我编写的四则运算程序
(a,b) <+> (c,d) = (a*d + b*c , b*d)
(a,b) <-> (c,d) = (a*d-b*c , b*d)
(a,b) <*> (c,d) = (a*c ,b*d)
(a,b) </> (c,d) = (a*d , b*c)
要怎么用QuickCheck测试呢？求助！

Answer 1

比如你要测试你写的 <+>是否正确，是否和+法效果一样，可以

prop_Addition a b = a <+> b == a + b
where types = (a::Integer, b::Integer)

quickCheck prop_Addition

如果正确会有相应显示
你可以去看quickcheck的说明

http://www.cse.chalmers.se/~rjmh/QuickCheck/manual.html

追问

已解决！谢谢！