我真的很喜欢Haskell，特别是它的强类型系统。当我得到Haskell程序进行编译时，它们通常没有bug，或者至少非常接近它。
但是，Haskell的主要问题是它未知的空间使用情况。至少在C ++中，您可以相当确定程序的空间使用情况。当你构造和解构对象时，它是非常清楚的。
在Haskell中，如果你没有正确地编写它们，像折叠一样简单的东西可以在thunk中使用大量的空间。由于内存不足导致程序崩溃并不比其他一些bug好很多，可能更糟。
我知道有办法避免这些空间泄漏，但我正在寻找类型安全的方法来避免这些空间泄漏。就像在，如果我弄错了，我会得到某种编译错误，而不仅仅是希望我的程序在生产时崩溃。我很高兴例如，替换标准库函数（例如，如果它的累加器不严格，可能会说有编译错误的折叠）
Haskell中是否存在这样的事情？
答案 0 :(得分：1)
众所周知，在Haskell中推理空间非常困难。 Simon Peyton-Jones的旧书（1987）
http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/
有一个关于这个主题的专门章节。
但是，如果以特定方式编写Haskell代码，例如，使用简单的生成器， 可以控制内存使用量。以下论文（在APLAS 2012上提出）给出了一个关于相当复杂的算法（线性）的内存和延迟推理的例子 漂亮的打印（BTW，Haskell中的标准漂亮打印库远非最佳： 它们的格式化时间是不 O（n），其中n是输入的长度）。实验结果证实了记忆和时间复杂性的预测。请参阅APLAS演讲的幻灯片，其中显示了情节。