我刚学 Haskell，现在正在进行单元测试。但是我发现 Haskell 的生态系统非常复杂，我对 HTF 和 HUnit 之间的关系感到困惑。
在某些示例中，你需要设置测试用例，并将它们导出为 tests 列表，然后使用 runTestsTT 在 ghci 中运行（就像这个 HUnit 示例）。
在其他示例中，你需要创建一个与 cabal 文件绑定的测试运行程序，它使用一些预处理器魔法来查找你的测试，就像这个 git 示例。此外，似乎 HTF 测试需要以 test_ 为前缀才能运行？我很难找到任何关于这方面的文档，但我注意到每个人都遵循了这种模式。
无论如何，有人能帮助我整理一下吗？在 Haskell 中什么被认为是标准的做法？最佳实践是什么？哪种方法最容易设置和维护？
通常，任何重要的Haskell项目都使用Cabal进行管理。Cabal可以负责构建、分发、文档化（借助haddock）和测试。
标准做法是将测试文件放在test目录下，并在.cabal文件中设置一个测试套件。详见用户手册。这是我某个项目的测试套件的样子：
Test-Suite test-melody
type: exitcode-stdio-1.0
main-is: Main.hs
hs-source-dirs: test
build-depends: base >=4.6 && <4.7,
test-framework,
test-framework-hunit,
HUnit,
containers == 0.5.*
然后在文件test/Main.hs中。
import Test.HUnit
import Test.Framework
import Test.Framework.Providers.HUnit
import Data.Monoid
import Control.Monad
import Utils
pushTest :: Assertion
pushTest = [NumLit 1] ^? push (NumLit 1)
pushPopTest :: Assertion
pushPopTest = [] ^? (push (NumLit 0) >> void pop)
main :: IO ()
main = defaultMainWithOpts
[testCase "push" pushTest
,testCase "push-pop" pushPopTest]
mempty
Utils 定义了一些比 HUnit 更友好的接口。
对于轻量级测试，我强烈建议您使用 QuickCheck。它可以让您编写简短的属性并在一系列随机输入上进行测试。例如：
-- Tests.hs
import Test.QuickCheck
prop_reverseReverse :: [Int] -> Bool
prop_reverseReverse xs = reverse (reverse xs) == xs
然后
$ ghci Tests.hs
> import Test.QuickCheck
> quickCheck prop_reverseReverse
.... Passed Tests (100/100)
detailed-0.9上的cabal文档后，我认为这个答案是ghc/cabal的最先进的“我想进行简单的单元测试”设置。我觉得对于这么基础的东西来说，依赖于三个包test-framework、HUnit和test-framework-hunit有点尴尬。而且看起来现在已经这样8年了。 - ruben.moor我也是haskell的新手，我发现这篇介绍非常有帮助: "Getting started with HUnit"。简单来说，我会在这里提供一个使用HUnit进行测试的简单示例，而无需使用.cabal项目文件：
假设我们有一个名为SafePrelude.hs的模块：
module SafePrelude where
safeHead :: [a] -> Maybe a
safeHead [] = Nothing
safeHead (x:_) = Just x
我们可以将测试放在TestSafePrelude.hs中，具体如下：
module TestSafePrelude where
import Test.HUnit
import SafePrelude
testSafeHeadForEmptyList :: Test
testSafeHeadForEmptyList =
TestCase $ assertEqual "Should return Nothing for empty list"
Nothing (safeHead ([]::[Int]))
testSafeHeadForNonEmptyList :: Test
testSafeHeadForNonEmptyList =
TestCase $ assertEqual "Should return (Just head) for non empty list" (Just 1)
(safeHead ([1]::[Int]))
main :: IO Counts
main = runTestTT $ TestList [testSafeHeadForEmptyList, testSafeHeadForNonEmptyList]
现在使用ghc运行测试非常容易:
runghc TestSafePrelude.hs
或者 hugs - 在这种情况下，TestSafePrelude.hs 必须重命名为 Main.hs（据我所知，对于 hugs 来说是这样）（不要忘记修改模块头）：
runhugs Main.hs
或者任何其他 haskell 编译器 ;-)
当然，在 HUnit 中还有更多的内容，所以我强烈建议阅读建议的教程和库 用户指南。
{-# OPTIONS_GHC -F -pgmF htfpp #-}
另外，你可以将相同的选项添加到cabal文件中的ghc-options属性中，但我从未尝试过，不知道是否有用。
预处理器会扫描你的模块，寻找命名为test_xxxx或prop_xxxx的顶级函数，并将它们添加到模块的测试列表中。你可以直接使用此列表，在模块中放置一个main函数并运行它们（main = htfMain htf_thisModuleTests），也可以将它们导出到模块外，建立一个主测试程序，用于多个模块，导入带有测试的模块并运行所有测试：
import {-@ HTF_TESTS @-} ModuleA
import {-@ HTF_TESTS @-} ModuleB
main :: IO ()
main = htfMain htf_importedTests
这个程序可以使用@jozefg描述的技术与cabal集成，也可以加载到ghci中进行交互式运行（但不适用于Windows - 有关详细信息，请参见https://github.com/skogsbaer/HTF/issues/60）。
Tasty是另一种提供集成不同类型测试方法的方式的替代品。它没有像HTF那样的预处理器，但有一个模块使用Template Haskell执行类似的功能。与HTF一样，它还依赖于命名约定来识别您的测试（在这种情况下，使用case_xxxx而不是test_xxxx）。除了HUnit和QuickCheck测试外，它还有处理其他许多测试类型的模块。
tasty而不是test-framework(HTF?)，但我也看到HTF在几个月的沉寂后上周进行了小更新。 - misterbee