编程 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测试

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/10 11:31:19
编程 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测试

编程 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测试
编程 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测试呢?

编程 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测试
比如你要测试你写的 是否正确,是否和+法效果一样,可以
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