haskell - 如何测试我的 haskell 函数

Question

我刚开始使用 Haskell 并尝试先编写一些测试。基本上，我想定义一些函数，然后调用这个函数来检查行为。

add :: Integer -> Integer -> Integer
add a b = a+b

-- Test my function 
add 2 3

如果我在 Hugs98 中加载那个小脚本，我会收到以下错误:

Syntax error in declaration (unexpected `}', possibly due to bad layout)

如果我删除最后一行，加载脚本，然后在 hugs 解释器中输入“add 2 3”，它就可以正常工作。

所以问题是:如何将我的函数调用与函数定义放在同一个脚本中？我只想加载脚本并能够检查它是否符合我的预期......我不想一直手动输入它们。

Answer 1

其他人已经说过如何解决您当前的问题，但是对于测试，您应该使用 QuickCheck或 some other automated testing library .

import Test.QuickCheck
prop_5 = add 2 3 == 5
prop_leftIdentity n = add 0 n == n

然后运行 ​​ quickCheck prop_5和 quickCheck prop_leftIdentity在你的拥抱 session 中。 QuickCheck 可以做的远不止这些，但这会让你开始。

(这里有一个 QuickCheck tutorial，但它已经过时了。有人知道涵盖 QuickCheck 2 的吗？)