如何测试我的 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 或 一些其他自动化测试库。

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

然后在 Hugs 会话中运行 quickCheck prop_5 和 quickCheck prop_leftIdentity。 QuickCheck 的功能远不止于此，但这将帮助您入门。

（这里有一个 QuickCheck 教程，但它已经过时了。有人知道涵盖 QuickCheck 2 的教程吗？）

Answer 2

最适合初学者的方法可能是 doctest 模块。
使用“cabal install doctest”下载它，然后将代码放入“Add.hs”文件中并从命令行运行“doctest Add.hs”。

您的代码应该如下所示，格式很重要：

module Add where

-- | add adds two numbers
--
-- >>> add 2 3
-- 5
-- >>> add 5 0
-- 5
-- >>> add 0 0
-- 0
add :: Integer -> Integer -> Integer
add a b = a+b

HTH Chris

Answer 3

进行顶级定义：

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

test1 = add 2 3

然后在 Hugs 会话中调用 test1。

Answer 4

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

简而言之，你不能。将其包装在函数中并调用它。您的文件充当有效的 Haskell 模块，并且具有“飞行”表达式并不是编写它的有效方法。

您似乎有脚本语言背景，但不要尝试将 Haskell 视为其中之一。

Answer 5

如果您安装了 ghc，则 runhaskell 命令将解释并运行文件中的 main 函数。

add x y = x + y
main = print $ add 2 3

然后在命令行上

> runhaskell Add.hs
5

不确定，但 Hugs 可能具有与 runhaskell 命令类似的功能。或者，如果将文件加载到 Hugs 解释器中，则只需调用 main 即可运行它。

Answer 6

我试图做同样的事情，我只是做了一个函数来运行我的所有测试用例（使用警卫），如果它们全部通过，则返回 1，如果失败则抛出错误。

test :: Num b => ; a->b
测试 x
     | sumALL [1]          /= 1 = 错误“测试失败”
     | sumALL [0,1,2]      /= 3 = 错误“测试失败”
     ...
     |否则 = 1