seq在Haskell生产代码中多久使用一次？

我在使用Haskell编写小型工具方面有一些经验，我发现使用起来非常直观，尤其是对于编写过滤器（使用interact）来处理其标准输入并将其通过管道传输到标准输出。

最近，我尝试在比通常大10倍的文件上使用这样的过滤器，但出现Stack space overflow错误。

在阅读了一些内容之后（例如，在这里和这里），我确定了两个节省堆栈空间的准则（有经验的Haskellers，如果我写的东西不正确，请纠正我）：

1. 避免使用非尾递归的递归函数调用（这对所有支持尾调用优化的功能语言均有效）。
2. 引入seq强制对子表达式进行早期评估，以使表达式在被缩减之前不会变得太大（这是Haskell所特有的，或者至少是使用惰性评估的语言所特有的）。

seq在我的代码中引入了五到六个调用之后，我的工具再次运行平稳（也适用于较大的数据）。但是，我发现原始代码更具可读性。

由于我不是一位经验丰富的Haskell程序员，所以我想问一下seq以这种方式进行介绍是否是一种常见的做法，以及通常seq在Haskell生产代码中看到该代码的频率。还是有什么技术可以避免使用seq太频繁而仍然只使用很少的堆栈空间？

不幸的是，在某些情况下，必须使用seq某个程序才能获得高效/运行良好的大数据程序。因此，在很多情况下，您无法在生产代码中做到这一点。您可以在《 Real World Haskell》第25章“概要分析和优化”中找到更多信息。

但是，有可能避免seq直接使用。这可以使代码更简洁，更健壮。一些想法：

1. 使用导管，管道或迭代器代替interact。众所周知，惰性IO在管理资源（而不仅仅是内存）方面存在问题，迭代器的设计正是为了解决这一问题。（无论您的数据有多大，我建议都避免一起使用惰性IO-请参阅惰性I / O的问题。）
2. 而不是seq直接使用（或设计自己的）组合器（例如foldl'或foldr'）或为严格计算而设计的严格版本的库（例如Data.Map.Strict或Control.Monad.State.Strict）。
3. 使用BangPatterns扩展名。它允许替换seq为严格的模式匹配。在某些情况下，声明严格的构造函数字段也可能很有用。
4. 也可以使用策略来强制评估。策略库主要针对并行计算，但也具有将值强制为WHNF（rseq）或完整NF（rdeepseq）的方法。有很多实用的方法可以处理集合，组合策略等。