我正在Haskell中编写一个示例空间泄漏的集合，并希望编写一个测试套件来捕获自己，以防我插入任何实际上没有泄漏空间的示例。
有没有办法测试这些示例而不为每个示例单独执行？
答案 0 :(得分：2)
您可以通过测试检测到空间泄漏，但无法证明没有空间泄漏。即使内存配置文件相对较低，也可能只是指出空间泄漏非常小并且您没有进行足够的迭代。
要检测空间泄漏，您可以使用此处所述的分配限制和计数器May I limit memory usage per function/monad/thread in Haskell?