如何使foldl消耗恒定的内存？

Question

我们定义以下数据类型Stupid：

import qualified Data.Vector as V
import Data.List (foldl')
data Stupid = Stupid {content::V.Vector Int, ul::Int} deriving Show

现在我有两个略有不同的代码。

foldl' (\acc x->Stupid{content=(content acc) V.// [(x,x+123)],ul=1}) (Stupid {content=V.replicate 10000 10,ul=1}) $ take 100000 $ cycle [0..9999]

需要恒定的内存（~100M），而

foldl' (\acc x->Stupid{content=(content acc) V.// [(x,x+123)],ul=ul acc}) (Stupid {content=V.replicate 10000 10,ul=1}) $ take 100000 $ cycle [0..9999]

占用大量内存（~8G）。

从理论上讲，在两种情况下，只需要当前Stupid对象的一个​​副本。我不明白为什么如果我想访问和记录ul acc，内存消耗会有这么大的差异。

如果我需要访问ul acc，有人可以解释为什么会发生这种情况并为常量内存提供解决方法吗？谢谢。

注意：我知道我可以批量替换矢量，此脚本仅用于演示目的，因此请不要修改该部分。

Answer 1

我会试着强迫Stupid的领域，看看是否有帮助。

let f acc x = c `seq` a `seq` Stupid{content=c,ul=a}
       where
       c = content acc V.// [(x,x+123)]
       a = ul acc
in foldl' f (Stupid {content=V.replicate 10000 10,ul=1}) $
   take 100000 $
   cycle [0..9999]

这应该几乎相当于强制函数的参数：

foldl' (\acc x -> acc `seq` x `seq` 
        Stupid{content=(content acc) V.// [(x,x+123)],ul=ul acc})
   (Stupid {content=V.replicate 10000 10,ul=1}) $ take 100000 $ cycle [0..9999]

（这也可以用爆炸模式写成，如果有人喜欢那些。）

另一个更具侵略性的选择是在Stupid构造函数的定义中使用严格注释。

data ... = Stupid { content = ! someType , ul :: ! someOtherType }

这将始终强制整个程序中的这些字段。